当然，这不过是才走完第一步罢了。
引理二：【设 n 为天然数， p 为素数，则Πp≤n p < 4n】
程诺思路顺畅，几近没费多大工夫，便用本身的体例将这两个帮助命题证明出来。
等等等等……
如果 N 为偶数，则Πp≤N p =Πp≤N-1 p，引理明显建立。
想要提出更加简练的计划，起首要把前人提出的证明思路吃透。
程诺嘴角微微一勾，将册页翻回本来那一页。
渐渐悠悠，时候就来到十一点。
这里，需求将从 1 到 n 的统统(n 个)天然数摆列在一条直线上，在每个数字上叠放一列 si 个暗号，明显暗号的总数是 s。
彼得尔操控着鼠标，点开下一封邮件。
如许的话，便能大大节流审稿编辑的时候。
普通来讲，他都是每周抽出一个或者两个上午的时候，呆在自家的公寓里，核阅那些由浅显审稿编辑发过来的，几篇顶尖数学家的投稿，和一些不太着名的数学家发来，但被他们以为有收录资质的投稿。
闭着眼回味了几秒，他从书包中取出一摞空缺的草稿纸，拿起桌面上的玄色碳素笔，聚精会神的开端了本身的推演：
但是究竟如何一个转换法……
遵循切比雪夫的思路，前面还需求通过这两个定理引入到Bertrand 假定的证明步调中去。
干系式 s =Σ1≤i≤n si 表示的是先计算各列的暗号数(即 si)再乞降，由此获得的干系，便是引理1。
《Inventiones mathematicae》杂志的总部，就设在米国的洛杉矶。
于此同时，远在大洋此岸的米国。
他没有孔殷火燎的直接开端本身的研讨，而是低下头，重新到尾的浏览书中关Bertrand 假定的那十几页内容。
就如程诺之前所假定过的。数学界每一个猜想或者假定的证明过程都是由起点走到起点的过程，有的线路盘曲，有的线路笔挺。
当然，程诺必定不能这么做。
论文的题目：《当剖析秩为1时，弱BSD猜想的证明》！
“比来这段时候数学界有点安静啊！”拉斐尔关上一篇论文，小声轻叹一句。
数学阐发范畴的Jean Bourgain 。
想要证明Bertrand 假定，就必须证明几个帮助命题。
想到就做！
作为数学界内顶尖的SCI期刊之一，每年他们大抵味收到来自天下各地数学家的数万次投稿。
呃……程诺还没想好。
作为一名多名头衔加身的数学大牛，他不成能每天像上班似的朝九晚五的呆在办公室内核阅稿件。
但多数环境下，因为浅显审稿编辑本身数学程度不高的启事，那些提拔上来的邮件只要很少部分合适期刊的收录标准。
比如说，《Inventiones mathematicae》的审稿编辑之一，拉菲-彼得尔，就是觉得曾经获得过拉马努金奖的着名数学家。
光是这个论文题目，就足以被称得上是一区程度的论文。当然，前提是程诺真的能够摸索出来那条简朴的解法。
但这却比伶仃证明Bertrand 假定要简朴。
…………
既然如此，那就再看上几篇吧。
几位顶尖数学家投稿的七篇论文他已经全数核阅完。此中，有五篇论文的程度高于收录标准线。彼得尔标注了几个处所，让部下联络作者停止微修。
上午八点。
348章
通过公式间的不竭转换，将Bertrand 假定的建立的某一个，或者某几个充要前提，转换为引理一或者引理二的情势，在停止化简整合求解。