Davenport–Erdős theorem

The Davenport–Erdős theorem is a result in additive number theory, specifically concerning the sum sets of subsets of integers. It states that if \( A \) is a subset of the natural numbers \( \mathbb{N} \) with finite positive upper density, then the set of all finite sums of elements of \( A \) (i.e.