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 , ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/14.leanTrue ↔ ∀ (A : Set ℕ), ∀ ε > 0, Erdos14.almostSquareRoot ε =O[Filter.atTop] Erdos14.nonUniqueSumCount AOpenStatement only, no proof