论文的题目：《当剖析秩为1时，弱BSD猜想的证明》！
眼看日头西斜，又到了吃完饭的时候，程诺一边脑海中思考，一边安步走向食堂。
想要提出更加简练的计划，起首要把前人提出的证明思路吃透。
程诺不是那么踌躇不决的人。归正时候充盈，容得程诺在发明“此路不通”后，重新寻觅另一个论文方向。
遵循切比雪夫的思路，前面还需求通过这两个定理引入到Bertrand 假定的证明步调中去。
切比雪夫用的体例是硬凑，没错，就是硬凑！
就如程诺之前所假定过的。数学界每一个猜想或者假定的证明过程都是由起点走到起点的过程，有的线路盘曲，有的线路笔挺。
比来这几个月，跟着ABC猜想之争的闭幕，全部数学界都堕入了一篇安静。或许，到了本年十一月菲奖颁布的时候，才会再次热烈起来吧。
几位顶尖数学家投稿的七篇论文他已经全数核阅完。此中，有五篇论文的程度高于收录标准线。彼得尔标注了几个处所，让部下联络作者停止微修。
既然Chebyshev （切比雪夫）给出的Bertrand 假定的证明过程如此庞大，那么，本身就应战一下，看看是否能够用更加简练的数学说话证明Bertrand 假定吧。
两个小时后，程诺合上书。
并且，这两百篇学术论文当中，有几近五分之四的份额被当世最顶尖的那几位数学家占有。
《Inventiones mathematicae》杂志的总部，就设在米国的洛杉矶。
既然如此，那就再看上几篇吧。
如果 N 为奇数，设 N = 2m + 1 (m ≥ 1)。重视到统统 m + 1 < p ≤ 2m + 1 的素数都是组合数(2m+1)!/m!(m+1)!的因子，另一方面组合数(2m+1)!/m!(m+1)!在二项式展开(1+1)2m+1 中呈现两次，因此(2m+1)!/m!(m+1)!≤(1+1)2m+1 / 2 = 4m.
灵感，老是来的这么措不及防！
彼得尔传授落拓的泡了一杯咖啡，坐在阳台上，一边核阅着条记本电脑上显现的投稿，一边落拓得意的小口饮啜。
目前，他除了是这家期刊的审稿编辑外，还担负加州大学洛杉矶分校的客座传授，主攻范畴剖析数论。
普通来讲，他都是每周抽出一个或者两个上午的时候，呆在自家的公寓里，核阅那些由浅显审稿编辑发过来的，几篇顶尖数学家的投稿，和一些不太着名的数学家发来，但被他们以为有收录资质的投稿。
“比来这段时候数学界有点安静啊！”拉斐尔关上一篇论文，小声轻叹一句。
趁便，来考证一下，这一年的深切研讨，本身的才气究竟到了何种境地。
通过公式间的不竭转换，将Bertrand 假定的建立的某一个，或者某几个充要前提，转换为引理一或者引理二的情势，在停止化简整合求解。
而或许，切比雪夫发明的是那条比较盘曲的线路，而程诺，则需求在前人的根本上，斥地出一条更加简便的门路。
于此同时，远在大洋此岸的米国。
当然，这不过是才走完第一步罢了。
如此，便能……
想要证明Bertrand 假定，就必须证明几个帮助命题。
程诺思路顺畅，几近没费多大工夫，便用本身的体例将这两个帮助命题证明出来。