PROVED (LEAN)
This has been solved in the affirmative and the proof verified in Lean.
Given any infinite set $A\subset \mathbb{N}$ there is a set $B$ of density $0$ such that $A+B$ contains all except finitely many integers.
Conjectured by Erdős and Straus. Proved by Lorentz
[Lo54].
View the LaTeX source
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 #31, https://www.erdosproblems.com/31, accessed 2026-01-16