吃饭的时间，陈舟也算是趁机出图书馆透透气了。

从回到燕大开始，他已经在图书馆连续奋战了近8个小时。

除了中午吃午饭时，算是停了会笔。

其余时间，可以说是一刻不停。

但好在，军训时的思考，给了他计算效率的保证。

只要思路不倒，那他就能一直朝着冰雹猜想的腹地推进。

可以说，思路到哪，陈舟的证明就到哪。

现在的他，确实有些累，需要简短的休息一下。

也顺便调整调整，再理一理思路。

两人在食堂各要了份牛肉面，再加根火腿肠。

端着面来到座位后，杨依依好奇的问道：“怎么样？”

陈舟把面咬断，抬起头看了杨依依一眼：“还行吧，目前的进展还算顺利，按照这个思路，这两天就会有结果。”

“哇，真的吗？”杨依依又惊讶又欣喜的问道。

这还是在陈舟开始冰雹猜想的研究之后，她第一次从陈舟的口中听到肯定的答案。

在之前，陈舟要么说，思路可能不太对，要么就是，这玩意压根没法算下去……

然后，她就这么看着陈舟陷入冰雹猜想的研究，却始终无法找到解决的方法。

但是现在，陈舟似乎离目标很近了。

这如何能不让她惊喜？

陈舟微微点头，旋即轻声笑道：“我也没想到，一次军训，会给我提供解决冰雹猜想的思路。”

杨依依满脸疑惑的问道：“军训提供的思路？”

陈舟说道：“军训时，我们7连不是在操场正中联系队列队形的变换吗？”

杨依依点头：“嗯，那会你还站在最前面呢，我一眼就看到你了。”

陈舟笑了笑：“就是那个三角形阵型，你觉得那个阵型像什么？”

“像什么？”杨依依想了想，不就是三角形的阵型吗？三角形像的东西太多了。

比如说，她很喜欢很喜欢的冰淇淋甜筒，也可以说是三角形呀。

想到这，杨依依脱口而出：“像甜筒……”

听到这个答案，陈舟微微一愣，旋即大声笑了起来，这丫头，还真是个吃货。

看着大笑的陈舟，杨依依皱了一下精致的鼻子：“难道不是吗？”

陈舟止住笑声：“是是是，确实也像甜筒。”

闻言，杨依依吐了吐舌头：“一会，能吃一个吗？”

陈舟想了想，说道：“行吧，给你这个吃货买甜筒去。”

陈舟和杨依依的约定是，冰淇淋虽然好吃，但是每天最多吃一个，不能贪吃。

但今天是结束军训返校的日子，可以破个例。

冰淇淋足饭饱之后，陈舟和杨依依再次回到了图书馆。

很难得的是，他们俩的老位置还在。

不需要再辗转去自习室找位置了。

坐下后，陈舟就掏出下午的草稿纸，很快便沉浸其中。

在下午离开前所得到的表格进行分析后，陈舟得到了随着冰雹猜想运算次数增加，n级中符合条件a＞a（）的奇数占总数的比例。

这个比例是越来越大的。

但是它最终是否会等于1呢？

带着这个疑惑，陈舟思考了一下，便着手写到：

【若用记号s表示前项的奇数比例之和，则当→∞时，有li→∞s=1】

写完之后，陈舟又标记了一下。

因为这个记号∞并不表示真的趋向于无限大，而是表示这个数，将趋向于一个待确定的正整数。

关于这个推论的证明，则要依靠表格来进行了。

陈舟便一边看着表格，一边拿着笔，不断写着相关的结论。

表格中，每一横行的比例均可记为数列。

而陈舟便是在求这个数列的通项式。

【……r是行指标，n为数列的元素指标，其通项公式为ar，n=(kr，n-1+kr-1，n+1)/2(2r+n-2)。这里的kk，c表示ak，c中的分子……】

手中的笔，也随着思路不断的游走在草稿纸上。