The prime number theorem states that the prime counting function is asymptotically given by π(n)~li(n).
lim_(n->∞)π(n)/(li(n)) = 1
formulation date | 1849 (176 years ago) formulator | Carl Friedrich Gauss status | proved proof date | 1896 (47 years later) (129 years ago) provers | Jacques Hadamard | Charles-Jean Étienne Gustave Nicolas de la Vallée Poussin additional people involved | Pafnuty Lvovich Chebyshev | Paul Erdős | Adrien-Marie Legendre | Atle Selberg
lim_(n->∞)π(n)/(li(n)) = 1