Skip to content

Erdős problem 39

Is there an infinite Sidon set A⊂NA\subset \mathbb{N} such that ∣A∩{1…,N}∣≫ϵN1/2−ϵ\lvert A\cap \{1\ldots,N\}\rvert \gg_\epsilon N^{1/2-\epsilon} for all ε>0\varepsilon > 0?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/39.lean

Formal Conjectures

FormalConjectures/ErdosProblems/39.leanErdos39.erdos_392 linesExact file
True ↔  ∃ A, A.Infinite ∧ IsSidon A ∧ ∀ ε > 0, (fun x => ↑x ^ (1 / 2 - ε)) =O[Filter.atTop] fun N => ↑(Set.Icc 1 N ∩ A).ncard
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page