The theorem that the limit of the quantity [π(x )] (ln x )/x as x approaches infinity is 1, where π(x ) is the number of prime numbers not greater than x and ln x is the natural logarithm of x.