Dual View Random Solved Random Open
DISPROVED (LEAN) This has been solved in the negative and the proof verified in Lean.
Let $A\subseteq \mathbb{N}$ be a set of density zero. Does there exist a $B$ such that $A\subseteq B+B$ and\[\lvert B\cap \{1,\ldots,N\}\rvert =o(N^{1/2})\]for all large $N$?
Erdős and Newman [ErNe77] have proved this is true when $A$ is the set of squares. In fact, Theorem 2 of [ErNe77] already implies a negative answer to this problem, but this seems to have been overlooked by Erdős and Graham.

See also [806].

View the LaTeX source

This page was last edited 27 December 2025.

External data from the database - you can help update this
Formalised statement? No (Create a formalisation here)
Likes this problem None
Interested in collaborating None
Currently working on this problem None
This problem looks difficult None
This problem looks tractable None

Additional thanks to: Kevin Barreto and KoishiChan

When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:

T. F. Bloom, Erdős Problem #333, https://www.erdosproblems.com/333, accessed 2026-01-16