許青舟和郭子揚相互看了一眼。
得，上號。
臨近12點，大家簡單洗漱過後，說了句晚安，就各自回屋休息。
端午假期第二天，四個人上午去逛了京大校園，拍了一堆照片，中午在農園食堂吃個飯。
這個月份，正午太陽已經有點毒辣，很熱，大家也沒有繼續溜達的心，約定下次有時間再出來玩，各自回去了。
地鐵站。
許青舟撐著傘，望著郭子揚兩口子的背影消失在地鐵站拐角處，心中暗暗想，下次得給郭子揚提個醒，彆讓你女朋友一天天惦記我女朋友。
“走吧。”宋瑤打了個哈欠，挽著許青舟的手。
許青舟轉頭，瞧見宋瑤臉上似乎有點困倦，“昨晚沒睡好？”
“嗯。”宋瑤點了點頭，歎了口氣，說：“佳慧嚷著要抱著我睡，有點不適應。”
許青舟笑著說：“那你得早點適應適應。”
嘿嘿，畢竟以後都得兩個人睡的。
宋瑤先是愣了下，接著很快明白許青舟的意思，眸子沉了沉，手已經放在許青舟的腰上了。
“我也得適.嘶~”這頭，許青舟的幻想很快被酸痛打破。
宋瑤哼了一聲，不搭理他，又在想昨晚的事，不僅抱著睡了，她還被丁佳慧拉著比較了一下發育。
再然後，丁佳慧就受打擊了，還苦惱她自己的為什麼還和畢業一樣，沒什麼長進，問宋瑤訣竅。
長大
的訣竅？
宋瑤暗暗吐了口氣，低頭瞅了瞅隆起的胸口，沒以前平，能遮住的視線也變多了。
回到家，隻能說瞌睡會傳染，許青舟也沒忍住，鑽進臥室睡了個午覺。
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，然後就可以得到一個用於補充素數分布律的算式：lim?infx→∞π(x)logxx≤1≤lim?supx→∞π(x)logxx。