素数定理π(n)~n/lnn弱化版证明
在大半年前写的Miller-Rabin素数测试正确性证明中使用过此结论~当时完全不会证,现在进步了一点点会证弱化版的了Orz
完整版的素数定理:
π(n):=|{p|p<=n,p是素数}|
limx->∞ π(x)/lnx=1
该定理由Jacques Hadamard和Charles de la Vallee-Poussin在1896年分别独自给出证明。
注意:以下证明只证明了π(n)的阶是n/logn
在大半年前写的Miller-Rabin素数测试正确性证明中使用过此结论~当时完全不会证,现在进步了一点点会证弱化版的了Orz
完整版的素数定理:
π(n):=|{p|p<=n,p是素数}|
limx->∞ π(x)/lnx=1
该定理由Jacques Hadamard和Charles de la Vallee-Poussin在1896年分别独自给出证明。
注意:以下证明只证明了π(n)的阶是n/logn
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步