晚上10點，夜幕早已降臨，窗外，亮着星星點點的燈火，白日的喧囂被夜晚昆蟲的低鳴代替，世界彷彿安靜下來。
這個時候，屋內的小聚會結束。
兩個女生愜意地坐在沙發看電視，二喵趴在自己窩裡不願意出來，它不認生，就是新來的兩腳獸太熱情了，一被逮到就得遭到各種“折磨”。
許青舟和郭子揚打掃衛生，一個洗碗一個掃地。
等許青舟把東西收拾好，才發現丁佳慧又去rua二喵去了，郭子揚屁顛屁顛地跟在後面，兩個人對着二喵戳來戳去，惹得二喵幽怨地叫了許久。
見許青舟剛洗完碗，宋瑤挪了挪屁股，給他留位置，然後，腳順勢就擡起來想往許青舟懷裡塞。
許青舟也是樂呵呵地伸手。
“你們？”
丁佳慧的聲音讓兩個人的動作戛然而止，瞬間想到家裡貌似還有兩個電燈泡在。
郭子揚同樣疑惑地望着兩人。
空氣有些凝固。
完蛋，下意識的動作最致命。
宋瑤反應迅速，踹了踹許青舟，表情冷冷的，“這裡是佳慧的位置。”
“哦，好。”
許青舟配合地點頭，從旁邊拉了跟椅子過來坐。
“瑤瑤~”丁佳慧很感動，過來撲在宋校花身上，“我就知道，在你心裡，我還是重要的！”
許青舟長吐了口氣，好險，差點暴露。望着膩在一起的兩個女生，他又有點咂舌，女生裡邊，估計只有丁佳慧能這樣和宋瑤親暱了。
郭子揚也拉了根凳子過來，坐下過後，擦了擦汗水，說：“有點熱了啊。”
“對，確實有點熱了。”
丁佳慧說完，望着許青舟：“許青舟，你那個房間沒空調？”
她剛纔看過許青舟的房間，沒自己姐妹的房間大，還沒有空調，這無疑說明，許青舟是懂得心疼自己女朋友的。
越來越嗑了。
“沒有。”許青舟點頭。
郭子揚說：“京都夏天還是很熱的吧，沒空調你受得了？”
“我比較怕冷，熱一點沒事。”許青舟違心地說道，實際上這段時間的確熱起來了，不開風扇都待不住人。
丁佳慧在旁邊感慨，“羨慕你這樣不怕熱的，就現在這個月份，我都感覺有點熱了，我們宿舍晚上都會開空調。”
郭子揚想了想，疑惑道：“我怎麼記得你以前最討厭的就是熱了，每次到夏天就要死不活的。”
宋瑤淡然的眸子看着許青舟，像是在等他解釋。
不知道是不是錯覺，許青舟覺得在這妮子的眼中有一種“我就靜靜地看着你表演”的意思。
難道被看穿了啊？
這一刻，連許青舟這位老同志都有點摸不準了，有時候，這妮子的高冷只是僞裝而已，實際鬼精鬼精的。
就比如上次去金陵，她給自己發的二喵的照片，呵，釣魚而已。
但是，不管怎麼樣，戲唱一半就沒有停下來的道理。
許青舟硬着頭皮說：“人嘛，都是會變的。而且，蓉城的那個夏天，熱就算了，還悶，京都這邊還是不一樣的。”
“也是。”丁佳慧點了點頭，似乎想到什麼大事，“對了，瑤瑤，我們一起湊單買眼霜吧，前幾天我看到一個套裝。”
宋瑤沒再看許青舟，點點頭：“好。”
“1個正裝18g的那種，5個30g的小樣，水乳100ml，還有眼膜.”
丁佳慧唸唸有詞。
許青舟和郭子揚相互看了一眼。
得，上號。
臨近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。