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
Is it possible that ?
True ↔ ∃ A, Erdos14.nonUniqueSumCount A =o[Filter.atTop] Erdos14.squareRootOpenStatement only, no proof