Erdős problem 329 · problems.science

Erdős Problem 329. Let A ⊆ ℕ be a Sidon set. How large can lim sup_{N → ∞} |A ∩ {1,…,N}| / N^{1/2} be?

Sources

Browse retained paths and inspect the exact material available for this Problem.

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

329.lean

Retained formal statement5 of 6

Erdős and Turán [ErTu41] proved the upper bound of 1.

[ErTu41] Erdős, P. and Turán, P., On a problem of Sidon in additive number theory, and on some related problems. J. London Math. Soc. (1941), 212-215.

FormalConjectures/ErdosProblems/329.leanErdos329.erdos_329.variants.turan_19411 lineExact file

1∀ (A : Set ℕ), IsSidon A → Erdos329.sidonUpperDensity A ≤ 1

SolvedStatement only, no proof

Sources

Search problems.science