Erdős problem 156 · problems.science

Does there exist a maximal Sidon set $A\subset \{1,\ldots,N\}$ of size $O(N^{1/3})$ ?

No current result

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

FormalConjectures/ErdosProblems/156.lean

Formal Conjectures

FormalConjectures/ErdosProblems/156.leanErdos156.erdos_1561 lineExact file

1True ↔ (fun N => ↑(Erdos156.minMaximalSidonSet N)) =O[Filter.atTop] fun N => ↑N ^ (1 / 3)

OpenStatement only, no proof