Skip to content

Erdős problem 340

Let A={1,2,4,8,13,21,31,45,66,81,97,}A = \{1, 2, 4, 8, 13, 21, 31, 45, 66, 81, 97, \ldots\} be the greedy Sidon sequence: we begin with 11 and iteratively include the next smallest integer that preserves the Sidon property (i.e. there are no non-trivial solutions to a+b=c+da + b = c + d). What is the order of growth of AA? Is it true that A{1,,N}N1/2ε|A \cap \{1, \ldots, N\}| \gg N^{1/2 - \varepsilon} for all ε>0\varepsilon > 0 and large NN?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/340.lean

Formal Conjectures

FormalConjectures/ErdosProblems/340.leanErdos340.erdos_3401 lineExact file
∀ ε > 0, (fun n => √↑n / ↑n ^ ε) =O[Filter.atTop] fun n => ↑(Set.range Finset.greedySidonSet.Icc 1 n).ncard
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page