Skip to content
Toggle Sidebar
Home
Problems
Frontiers
Updates
Overview
Problem ledger
Assertions
Proposed changes
Commits
Reproduce
Add contribution
Toggle Sidebar
Vela Mathematics Program
/
Problems
/
489
Search or jump
⌘K
Problem
erdos:489
If
A
A
is a forbidden-divisor set with
∣
A
∩
[
1
,
x
]
∣
=
o
(
x
)
|A \cap [1,x]| = o(\sqrt{x})
and
B
=
{
b
1
<
b
2
<
⋯
}
B = \{b_1 < b_2 < \cdots\}
the sifted set, must
x
−
1
∑
b
i
<
x
(
b
i
+
1
−
b
i
)
2
x^{-1} \sum_{b_i < x} (b_{i+1} - b_i)^2
converge to a finite limit?
Open Current State
Declared status
open
Formalization
formalized
Subjects
number theory
OEIS
N/A
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
Search problems.science
Find a Problem, Result, source, or page