Skip to content

Erdős problem 153

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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/153.lean

Formal Conjectures

FormalConjectures/ErdosProblems/153.leanErdos153.erdos_1531 lineExact file
TrueFilter.Tendsto Erdos153.f Filter.atTop Filter.atTop
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page