Skip to content

Erdős problem 14

Let ANA ⊆ \mathbb{N}. Let BNB ⊆ \mathbb{N} be the set of integers which are representable in exactly one way as the sum of two elements from AA. Is it true that for all ϵ>0\epsilon > 0 and large NN, {1,,N}BϵN1/2ϵ|\{1,\ldots,N\} \setminus B| \gg_\epsilon N^{1/2 - \epsilon}?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

14.lean

Retained formal statement1 of 2

Let ANA ⊆ \mathbb{N}. Let BNB ⊆ \mathbb{N} be the set of integers which are representable in exactly one way as the sum of two elements from AA. Is it true that for all ϵ>0\epsilon > 0 and large NN, {1,,N}BϵN1/2ϵ|\{1,\ldots,N\} \setminus B| \gg_\epsilon N^{1/2 - \epsilon}?

FormalConjectures/ErdosProblems/14.leanErdos14.erdos_14.parts.i1 lineExact file
True ↔ ∀ (A : Set ℕ), ∀ ε > 0, Erdos14.almostSquareRoot ε =O[Filter.atTop] Erdos14.nonUniqueSumCount A
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page