Skip to content

Problem

erdos:1188

Estimate the number F(x)F(x) of minimal distinct covering systems whose moduli all lie in [1,x][1, x]. The candidate proof gives log⁡log⁡F(x)/log⁡x→1\log\log F(x)/\log x \to 1, i.e. F(x)=exp⁡(x1+o(1))F(x) = \exp(x^{1+o(1)}).

Declared status
open
Formalization
formalized
OEIS
possible

Matching claims

0
No direct claims
This problem has no directly related claim record.