图书馆外。
吃完晚饭的陈舟和杨依依，散步在燕大的无名湖畔。
杨依依时不时的就看陈舟一眼。
她发现陈舟从放下笔那一刻，脸上就一直挂着笑容。
注意到杨依依在看自己，陈舟反而更开心了。
谁能想到，找了半天，最懂自己的，还是身边人。
想了想，陈舟转身面对杨依依，轻声说道：“依依，多亏了你，分布解构法，完成了。”
“我？”杨依依有一瞬间的疑惑。
但聪慧如她，立马猜到了大概。
旋即，她微微一笑，故意摆了摆手，说道：“不客气，咱俩谁跟谁呢？”
陈舟被杨依依的动作逗的笑出了声：“是是是，咱俩谁跟谁嘛……”
又看了会一塔湖图，两人便再次来到了图书馆，来到了熟悉的位置。
礼貌的感谢了一下帮忙占座的李礼和李静。
再次看到眼前难题的陈舟，信心大增。
思想问题解决了，接下来就是运用思想，解决问题的时刻了。
【(Pn+1≤N)max(Pn+1-Pn)≈logN(logN-loglogN)+2，N≥7】
这是陈舟关于克拉梅尔猜想的修正猜想的公式化。
现在，他要开始解决彻底解决这一问题了。
时间上，应该来得及。
陈舟计划在16号动身前往麻省理工参加学术交流之前，把这个问题的论文完成。
这算是对克拉梅尔猜想研究的最近一步了。
因为克拉梅尔猜想本身的难度，世界上的数学家们，没有人能接近证明克拉梅尔猜想。
陈舟自然也没打算，在这仅剩的两天时间，连带着把克拉梅尔猜想也给证明了。