对正整数 x，记 π(x) 为不大于 x 的素数个数。
第 n 个素数 p(n) 的渐进估计为，p(n)∼nlnn，它也给出从整数中抽到素数的概率。从不大于 n 的自然数随机选一个，它是素数的概率大约是 1/lnn（也即 n 个整数，素数的个数大概会有，一个十分粗糙的估计，nlnn）。 这定理的式子於 1798 年法国数学家勒让德提出。
