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?

Sources

Browse retained paths and inspect the exact material available for this Problem.

15 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

340.lean

Retained formal statement6 of 15

It is trivial that this sequence grows at least like N1/3\gg N^{1/3}.

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

Search problems.science

Find a Problem, Result, source, or page