，陆舟从容不迫地去厨房洗了个手，然后回到了书桌前，开始为自己这一段时间的工作做个收尾。

越过了将近五十页的论文纸，他在昨天未写完便沉沉睡去的地方，提笔继续写道。

……显见，我们有Px（1，1）≥P（x，x^{1/16}）-（1/2）∑Px（x，p，x）-Q/2-x^(log4)……（30）】

……由式（30）、引理8、引理9、引理10，可证明定理1成立。】