第二百五十一章 下意识的动作最致命 (第2/2页)
　　
　　端午假期第二天，四个人上午去逛了京大校园，拍了一堆照片，中午在农园食堂吃个饭。
　　
　　这个月份，正午太阳已经有点毒辣，很热，大家也没有继续溜达的心，约定下次有时间再出来玩，各自回去了。
　　
　　地铁站。
　　
　　许青舟撑着伞，望着郭子扬两口子的背影消失在地铁站拐角处，心中暗暗想，下次得给郭子扬提个醒，别让你女朋友一天天惦记我女朋友。
　　
　　“走吧。”宋瑶打了个哈欠，挽着许青舟的手。
　　
　　许青舟转头，瞧见宋瑶脸上似乎有点困倦，“昨晚没睡好？”
　　
　　“嗯。”宋瑶点了点头，叹了口气，说：“佳慧嚷着要抱着我睡，有点不适应。”
　　
　　许青舟笑着说：“那你得早点适应适应。”
　　
　　嘿嘿，毕竟以后都得两个人睡的。
　　
　　宋瑶先是愣了下，接着很快明白许青舟的意思，眸子沉了沉，手已经放在许青舟的腰上了。
　　
　　“我也得适.嘶~”这头，许青舟的幻想很快被酸痛打破。
　　
　　宋瑶哼了一声，不搭理他，又在想昨晚的事，不仅抱着睡了，她还被丁佳慧拉着比较了一下发育。
　　
　　再然后，丁佳慧就受打击了，还苦恼她自己的为什么还和毕业一样，没什么长进，问宋瑶诀窍。
　　
　　长大的诀窍？
　　
　　宋瑶暗暗吐了口气，低头瞅了瞅隆起的胸口，没以前平，能遮住的视线也变多了。
　　
　　回到家，只能说瞌睡会传染，许青舟也没忍住，钻进卧室睡了个午觉。
　　
　　2点半，许青舟起来的时候，宋瑶已经在奋笔疾书，他也没浪费时间，打开电脑，把先前运算的稿纸取出来。
　　
　　二喵卧在沙发上，正眯着眼打瞌睡，许青舟算是发现了，这懒猫白天就这样，一到晚上那叫一个精神，今天白天格外萎靡，估计是被丁佳慧折腾得够呛。
　　
　　假期已经过去一半，他不准备把时间全部拿来帮赵教授他们搞模型，可能觉得他比较忙吧，赵教授前面就说了，两周之内搞定就可以。
　　
　　端午假期过去，周二。
　　
　　许青舟正在图书馆弄猜想的推算，他对面，宋校花去上课，电脑和书这些都放在这里。
　　
　　假期里，他已经把方案做完，开启第一步工作，构建合适的筛法，同时使用筛法寻找素数的分布规律。
　　
　　方向是有了，具体的工作却是相当复杂。
　　
　　许青舟目前正在引用素数定理的初等证明中的二重积分法，想要对筛法进行补充。
　　
　　在孪生素数个数筛选的过程中基本用不到素数定理，只不过可以借用里边的某些数学工具来实验自己的目的。
　　
　　当然，除了二重积分法，华罗庚和Selberg也给出过其它十分硬核的素数证明方法，但许青舟用不到。
　　
　　通过平滑，首先得到的S是一个Lipschitz连续函数，接着，就可以考虑把(5)化成积分形式。
　　
　　利用对数函数的单调性。
　　
　　【logm≤∫mm+1logudu
　　
　　|S(ym)|logm≤∫mm+1|S(ym)|logudu】
　　
　　在这里，把=m换成u。
　　
　　【∑m≤y∫.m≤ym+1m(m+1)=y∑m≤y1mylogy】
　　
　　半个小时过后，许青舟眯着眼，面前多了两张写满算式的稿纸。
　　
　　至此，就能得到a≤1，然后就可以得到一个用于补充素数分布律的算式：liminfx→∞π(x)logxx≤1≤limsupx→∞π(x)logxx。