在大半年前写的Miller-Rabin素数测试正确性证明中使用过此结论~当时完全不会证,现在进步了一点点会证弱化版的了Orz完整版的素数定理:π(n):=|{p|p<=n,p是素数}|limx->∞ π(x)/lnx=1该定理由Jacques Hadamard和Charles de la Vallee-Poussin在1896年分别独自给出证明。注意:以下证明只证明了π(n)的阶是n/logn