素数定理π(x)

素数定理：以π(x)表示不超过x的素数的个数，那么

或者，等价表示为：第n个素数满足下式：

1896年，阿达马（即雅克·所罗门·阿达马，Jacques Solomon Hadamard，1865年－1963年）和德·拉·瓦莱布桑（Charles-Jean de la Vallée Poussin）按照波恩哈德·黎曼（B. Riemann）的思路，各自独立地利用高深的整函数理论证明了素数定理。