Erdős Problem #1188
Prior state unknown→proved
Estimate the number $F(x)$ of minimal distinct covering systems whose moduli all lie in $[1, x]$. The candidate proof gives $\log\log F(x)/\log x \to 1$, i.e. $F(x) = \exp(x^{1+o(1)})$.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review