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

FormalConjectures/ErdosProblems/

329.lean

Retained formal statement1 of 6

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

FormalConjectures/ErdosProblems/329.leanErdos329.erdos_3291 lineExact file

1sSup {x | ∃ A, ∃ (_ : IsSidon A), Erdos329.sidonUpperDensity A = x} = sorry

OpenStatement only, no proof