Mann's theorem

From Number

Statement

Suppose and are subsets of , both containing . Define to be the set of all integers of the form , with . if denotes the Schnirelmann density, then:

.

Equality need not hold.

Related facts

Weaker facts