Erdős problem 153

Let $A$ be a finite Sidon set and $A+A=\{s_1<\cdots<s_t\}$ . Is it true that $\frac{1}{t}\sum_{1\leq i<t}(s_{i+1}-s_i)^2 \to \infty$ as $\lvert A\rvert\to \infty$ ?

No current result

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

FormalConjectures/ErdosProblems/153.lean

Formal Conjectures

FormalConjectures/ErdosProblems/153.leanErdos153.erdos_1531 lineExact file

1True ↔ Filter.Tendsto Erdos153.f Filter.atTop Filter.atTop

OpenStatement only, no proof