On a density conjecture about unit fractions (with an appendix by Thomas F. Bloom and Bhavik Mehta)

We prove that any set A N of positive upper density contains a finite S A such that ₍ ₒ1n=1, answering a question of Erdős and Graham.