第二百一十一章 简化推算过程（3 / 4）

一下。”见任楚君有些拘谨，许青舟想着让她做点事，免得不自在。

“好。”

任楚君没时间纠结，开始干活。

“许，关于你论文第45页到46页之间的这个公式，能详细说说吗？”

斯塔文已经翻开孪生素数证明的论文，迫不及待地问。

许青舟看了一眼论文，思索几秒，站起身：“直接计算素数计数函数的值非常没有效率，所以我用到了素数定理。”

“根据rosser和sfeld在1962年做的数值研究，可知x≥114514时.”

他一边说着，一边在黑板上写下一排公式。

两分钟过后，斯塔文若有所思，最后眼前亮了亮，评价道：“嗯，这一步做得非常完美。”

任楚君搬了根凳子，在旁边看着，本来还想多听听，长点见识。

可许青舟用的是全英文，那些专业术语很快就让她听迷糊了，索性当一个没感情的工具人。

许青舟示意一下，她就拿着擦子把黑板擦干净。

“其实，我的问题是关于克拉梅尔定理的。”格丽丝开口。

“嗯，请讲。”

“素数差值间距的函数相邻迭代表达式这里，你是如何p n+1 -p n =（pn/n）^2 =（nlnpn/n）.”

“这里，需要先证pn+1 -p n =2k”

许青舟一点点给对方解释。

30分钟一晃而过，教室里多了8个人，坐在左侧的是一位白发苍苍老先生。

老先生笔尖轻轻点了几下，“许青舟同学，在第48个式子，mp\sim 2bsp;\frac{x}{(\ln x)^2，是不是可以被放缩成mp(z)(m，p′.”

许青舟立刻打起精神，认真听对方的阐述。