Skip to content

Erdős problem 329

Start work

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

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

329.lean

Retained formal statement6 of 6

It is possible to construct a Sidon set with positive density.

FormalConjectures/ErdosProblems/329.leanErdos329.exists_sidon_pos_density1 lineExact file
∃ A, IsSidon A ∧ 0 < Erdos329.sidonUpperDensity A
TextbookStatement only, no proof