Erdős problem 14
Let . Let be the set of integers which are representable in exactly one way as the sum of two elements from . Is it true that for all and large , ?
Sources
FormalConjectures/ErdosProblems/
14.lean
Retained formal statement
Let . Let be the set of integers which are representable in exactly one way as the sum of two elements from . Is it true that for all and large , ?
True ↔ ∀ (A : Set ℕ), ∀ ε > 0, Erdos14.almostSquareRoot ε =O[Filter.atTop] Erdos14.nonUniqueSumCount AOpenStatement only, no proof