在大半年前写的Miller-Rabin素数测试正确性证明中使用过此结论~当时完全不会证,现在进步了一点点会证弱化版的了Orz

完整版的素数定理:

π(n):=|{p|p<=n,p是素数}|

limx->∞ π(x)/lnx=1

该定理由Jacques Hadamard和Charles de la Vallee-Poussin在1896年分别独自给出证明。

注意:以下证明只证明了π(n)的阶是n/logn

素数定理π(n)~n/lnn弱化版证明-LMLPHP

素数定理π(n)~n/lnn弱化版证明-LMLPHP

素数定理π(n)~n/lnn弱化版证明-LMLPHP

05-11 20:44