Erdős problem 340
Let be the greedy Sidon sequence: we begin with and iteratively include the next smallest integer that preserves the Sidon property (i.e. there are no non-trivial solutions to ). What is the order of growth of ? Is it true that for all and large ?
Sources
FormalConjectures/ErdosProblems/
340.lean
Retained formal statement
Erdős and Graham [ErGr80] also asked about the difference set and whether this has positive density.
[ErGr80] Erdős, P. and Graham, R., Old and new problems and results in combinatorial number theory. Monographies de L'Enseignement Mathematique (1980).
(Set.range Finset.greedySidon - Set.range Finset.greedySidon).HasPosDensityOpenStatement only, no proof