吃饭的时间，陈舟也算是趁机出图书馆透透气了。
从回到燕大开始，他已经在图书馆连续奋战了近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中的分子……】
手中的笔，也随着思路不断的游走在草稿纸上。