Erdős problem 329
Erdős Problem 329. Let A ⊆ ℕ be a Sidon set. How large can lim sup_{N → ∞} |A ∩ {1,…,N}| / N^{1/2} be?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/329.leansSup {x | ∃ A, ∃ (_ : IsSidon A), Erdos329.sidonUpperDensity A = x} = sorryOpenStatement only, no proof