吃飯的時間，陳舟也算是趁機出圖書館透透氣了。
從回到燕大開始，他已經在圖書館連續奮戰了近8個小時。
除了中午吃午飯時，算是停了會筆。
其余時間，可以說是一刻不停。
但好在，軍訓時的思考，給了他計算效率的保證。
只要思路不倒，那他就能一直朝著冰雹猜想的腹地推進。
可以說，思路到哪，陳舟的證明就到哪。
現在的他，確實有些累，需要簡短的休息一下。
也順便調整調整，再理一理思路。
兩人在食堂各要了份牛肉面，再加根火腿腸。
端著面來到座位后，楊依依好奇的問道：“怎么樣？”
陳舟把面咬斷，抬起頭看了楊依依一眼：“還行吧，目前的進展還算順利，按照這個思路，這兩天就會有結果。”
“哇，真的嗎？”楊依依又驚訝又欣喜的問道。
這還是在陳舟開始冰雹猜想的研究之后，她第一次從陳舟的口中聽到肯定的答案。
在之前，陳舟要么說，思路可能不太對，要么就是，這玩意壓根沒法算下去……
然后，她就這么看著陳舟陷入冰雹猜想的研究，卻始終無法找到解決的方法。
但是現在，陳舟似乎離目標很近了。
這如何能不讓她驚喜？
陳舟微微點頭，旋即輕聲笑道：“我也沒想到，一次軍訓，會給我提供解決冰雹猜想的思路。”
楊依依滿臉疑惑的問道：“軍訓提供的思路？”
陳舟說道：“軍訓時，我們7連不是在操場正中聯系隊列隊形的變換嗎？”
楊依依點頭：“嗯，那會你還站在最前面呢，我一眼就看到你了。”
陳舟笑了笑：“就是那個三角形陣型，你覺得那個陣型像什么？”
“像什么？”楊依依想了想，不就是三角形的陣型嗎？三角形像的東西太多了。
比如說，她很喜歡很喜歡的冰淇淋甜筒，也可以說是三角形呀。
想到這，楊依依脫口而出：“像甜筒……”
聽到這個答案，陳舟微微一愣，旋即大聲笑了起來，這丫頭，還真是個吃貨。
看著大笑的陳舟，楊依依皺了一下精致的鼻子：“難道不是嗎？”
陳舟止住笑聲：“是是是，確實也像甜筒。”
聞言，楊依依吐了吐舌頭：“一會，能吃一個嗎？”
陳舟想了想，說道：“行吧，給你這個吃貨買甜筒去。”
陳舟和楊依依的約定是，冰淇淋雖然好吃，但是每天最多吃一個，不能貪吃。
但今天是結束軍訓返校的日子，可以破個例。
冰淇淋足飯飽之后，陳舟和楊依依再次回到了圖書館。
很難得的是，他們倆的老位置還在。
不需要再輾轉去自習室找位置了。
坐下后，陳舟就掏出下午的草稿紙，很快便沉浸其中。
在下午離開前所得到的表格進行分析后，陳舟得到了隨著冰雹猜想運算次數增加，n級中符合條件a＞a（m）的奇數占總數的比例。
這個比例是越來越大的。
但是它最終是否會等于1呢？
帶著這個疑惑，陳舟思考了一下，便著手寫到：
【若用記號Sm表示前m項的奇數比例之和，則當m→∞時，有limm→∞Sm=1】
寫完之后，陳舟又標記了一下。
因為這個記號∞并不表示m真的趨向于無限大，而是表示這個數，將趨向于一個待確定的正整數。
關于這個推論的證明，則要依靠表格來進行了。
陳舟便一邊看著表格，一邊拿著筆，不斷寫著相關的結論。
表格中，每一橫行的比例均可記為數列。
而陳舟便是在求這個數列的通項式。
【……r是行指標，n為數列的元素指標，其通項公式為ar，n=(kr，n-1+kr-1，n+1)/2^(2r+n-2)。這里的kk，c表示ak，c中的分子……】