Schnirelmann density

Definition

Let $S$ be a subset of the set $\mathbb {N}$ of natural numbers. The Schnirelmann density of $S$ is defined as:

$\inf _{n\in \mathbb {N} }{\frac {S\cap \{1,2,\dots ,n\}}{n}}$.

The definition can be modified to consider subsets of $\mathbb {N} _{0}$, the natural numbers with zero. the Schnirelmann desity of $\mathbb {N} _{0}$ is defined as:

$\inf _{n\in \mathbb {N} _{0}}{\frac {S\cap \{0,1,\dots ,n\}}{n+1}}$.

Related notions

• Asymptotic Schnirelmann density

Facts

• Mann's theorem
• Schnirelmann's theorem on Goldbach's conjecture