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 ∑n∈ S1/n=1 , answering a question of Erdős and Graham.