第二百一十一章 简化推算过程

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

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

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

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

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

格丽丝说道：“对，和这些人相比，我们是幸运的。”

许青舟笑了笑，邀请大家坐下，这个时候，隔壁的任楚君却苦着脸走进来。

把嘉宾拉来干活，虽然说老师没批评，但估计要被人笑很久。

“你怎么来了？”许青舟问。

任楚君让自己打起精神，说道：“老师派我来这里当工作人员，帮着你打打杂之类的。”

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

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

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

“嗯，请讲。”

“那麻烦你帮我把这块黑板擦一下。”见任楚君有些拘谨，许青舟想着让她做点事，免得不自在。

“好。”

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

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

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