Erdős–Kac theorem
The Erdős–Kac theorem states that the number of distinct prime factors of a uniformly chosen integer up to a large bound, centered and scaled by the logarithm of the logarithm of the bound, converges in distribution to a standard normal law.