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