Erdős problem 153 · problems.science

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$ ?

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

153.lean

Retained formal statement1 of 1

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$ ?

FormalConjectures/ErdosProblems/153.leanErdos153.erdos_1531 lineExact file

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

OpenStatement only, no proof

Sources

Search problems.science