Skip to content
Home
Problems
Updates
Vela Mathematics Program
/
Problems
/
1188
Search or jump
⌘K
Overview
Problem ledger
Claims
Proposed changes
Commits
Reproduce
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
(
x
1
+
o
(
1
)
)
F(x) = \exp(x^{1+o(1)})
.
Open Current State
Declared status
open
Formalization
formalized
Subjects
number theory
·
covering systems
OEIS
possible
Sources
source:erdos-problems
·
source:formal-conjectures
·
source:vibemathed
·
source:williamjblair-lean-proofs
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims