吃饭的时间，陈舟也算是趁机出图书馆透透气了。最新地址发送任意邮件到 ltx Sba@gmail.ㄈòМ 获取

从回到燕大开始，他已经在图书馆连续奋战了近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中的分子……】