1: \begin{abstract}

2: In this paper we show that every set $A \subset \mathbb{N}$ with positive density

3: contains $B+C$ for some pair $B,C$ of infinite subsets of $\mathbb{N}$, settling a conjecture of \Erdos{}.

4: The proof features two different decompositions of an arbitrary bounded sequence into a structured component and a pseudo-random component.

5: Our methods are quite general, allowing us to prove a version of this conjecture for countable amenable groups.

6: \end{abstract}

7: