Dual View Random Solved Random Open
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

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

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