We answer a question of Erdős by showing that the least modulus of a distinct covering system is at most $ 10^{16}$.
Online Content on Project Euclid 2017–2023