Prime Number Theorem/Definition

The number of primes up to some limit X is asymptotic to X divided by the logarithm of X.