吃饭的时间，陈舟也算是趁机出图书馆透透气了。
从回到燕大开始，他已经在图书馆连续奋战了近8个小时。
除了中午吃午饭时，算是停了会笔。
其余时间，可以说是一刻不停。
但好在，军训时的思考，给了他计算效率的保证。
只要思路不倒，那他就能一直朝着冰雹猜想的腹地推进。
可以说，思路到哪，陈舟的证明就到哪。
现在的他，确实有些累，需要简短的休息一下。
也顺便调整调整，再理一理思路。
两人在食堂各要了份牛肉面，再加根火腿肠。
端着面来到座位后，杨依依好奇的问道：“怎么样？”
陈舟把面咬断，抬起头看了杨依依一眼：“还行吧，目前的进展还算顺利，按照这个思路，这两天就会有结果。”
“哇，真的吗？”杨依依又惊讶又欣喜的问道。
这还是在陈舟开始冰雹猜想的研究之后，她第一次从陈舟的口中听到肯定的答案。
在之前，陈舟要么说，思路可能不太对，要么就是，这玩意压根没法算下去……
然后，她就这么看着陈舟陷入冰雹猜想的研究，却始终无法找到解决的方法。
但是现在，陈舟似乎离目标很近了。
这如何能不让她惊喜？
陈舟微微点头，旋即轻声笑道：“我也没想到，一次军训，会给我提供解决冰雹猜想的思路。”
杨依依满脸疑惑的问道：“军训提供的思路？”
陈舟说道：“军训时，我们7连不是在操场正中联系队列队形的变换吗？”
杨依依点头：“嗯，那会你还站在最前面呢，我一眼就看到你了。”
陈舟笑了笑：“就是那个三角形阵型，你觉得那个阵型像什么？”
“像什么？”杨依依想了想，不就是三角形的阵型吗？三角形像的东西太多了。
比如说，她很喜欢很喜欢的冰淇淋甜筒，也可以说是三角形呀。
想到这，杨依依脱口而出：“像甜筒……”
听到这个答案，陈舟微微一愣，旋即大声笑了起来，这丫头，还真是个吃货。
看着大笑的陈舟，杨依依皱了一下精致的鼻子：“难道不是吗？”
陈舟止住笑声：“是是是，确实也像甜筒。”
闻言，杨依依吐了吐舌头：“一会，能吃一个吗？”
陈舟想了想，说道：“行吧，给你这个吃货买甜筒去。”
陈舟和杨依依的约定是，冰淇淋虽然好吃，但是每天最多吃一个，不能贪吃。
但今天是结束军训返校的日子，可以破个例。
冰淇淋足饭饱之后，陈舟和杨依依再次回到了图书馆。
很难得的是，他们俩的老位置还在。
不需要再辗转去自习室找位置了。
坐下后，陈舟就掏出下午的草稿纸，很快便沉浸其中。
在下午离开前所得到的表格进行分析后，陈舟得到了随着冰雹猜想运算次数增加，n级中符合条件a＞a（m）的奇数占总数的比例。
这个比例是越来越大的。
但是它最终是否会等于1呢？
带着这个疑惑，陈舟思考了一下，便着手写到：
【若用记号→∞时，有li=1】
写完之后，陈舟又标记了一下。
因为这个记号∞并不表示m真的趋向于无限大，而是表示这个数，将趋向于一个待确定的正整数。
关于这个推论的证明，则要依靠表格来进行了。
陈舟便一边看着表格，一边拿着笔，不断写着相关的结论。
表格中，每一横行的比例均可记为数列。
而陈舟便是在求这个数列的通项式。
【……r是行指标，n为数列的元素指标，其通项公式为ar，n=(kr，n-1+kr-1，n+1)2^(2r+n-2)。这里的kk，c表示ak，c中的分子……】
手中的笔，也随着思路不断的游走在草稿纸上。
只不过，不像先前的笔走龙蛇。
思路到哪，笔便到哪。
随着对冰雹猜想更深入的研究，陈舟的思路，渐渐跟不上笔锋的速度了。
他思考的时间也变得越来越长。
在图书馆待到了闭馆时间，陈舟打消了再接再厉的想法。
有些内容，需要再理清一些。
做到这一步，也需要验证一下了。
回到宿舍后，陈舟把背包放在椅子上，没去动它，而是径直拿了脸盆毛巾，去洗澡了。
洗完澡，陈舟摸摸索索的从背包里拿出了一物，然后翻身上床。
赵琦琦和李礼他们倒还都在看书。
他们三从回到学校，就趴在自己的床上趴了好一会。
相较于军训基地的硬板床，他们还是比较喜欢自己铺的舒适的床铺。
所以，现在的三人正精神着呢。
不过，他们也很自觉的没有打扰陈舟。
从陈舟的表现就能看出来，除了打了个招呼，一下车就跑图书馆。
然后，这都从图书馆回来，还一直魂不守舍的，甚至一句话也没和他们说。
明显就是有很重要的事。
并不知道这三人想法的陈舟，此时正躺在床上，皱眉思考着冰雹猜想的问题。
后续的思路，他正在理顺。