本来我现在，不知不觉间已经这么短长了啊！！！
啪啪啪~~
论文的进度遵循程诺打算的计划停止，这一天，他从推导出的十几个推论中寻觅出证明 Bertrand 假定有首要感化的五个推论。
连程诺本人，都惊奇了好一阵。
一夜无话。
影响因子5.21，即便在一区的诸多闻名学术杂志中，都属于中等偏上的程度。
归正到时候兵来将挡，水来土掩就是。
而在他手中拿着的草稿纸上，已经密密麻麻的列着十几个推论。
但程诺现在当时不是要寻觅反例，证明Bertrand 假定不建立。
哦，对了，另有一件事。
另一边，华国。
东西早已备好，他沉吟了一阵，开端在草稿纸上做各种尝试。
第一步，用反证法，假定命题不建立，即存在某个 n ≥ 2，在 n 与 2n 之间没有素数。
结束了这繁忙的一天，第二天，程诺便马不断蹄的开端正式Bertrand 假定的证明。
这是除了直接推导证明法以外最常用的证明体例，面对很多猜想时非常首要。
这可不是个轻松的事情。
对于Bertrand 假定，他筹办利用反证法。
特别是……在证明某个猜想不建立时！
由上，得推论1：【设 n 为一天然数， p 为一素数，则能整除(2n)!/(n!n!)的 p 的最高幂次为： s =Σi≥1 [floor(2n/pi)- 2floor(n/pi)]。】
程诺自傲满满。
由此，得推论2：【设 n ≥ 3 为一天然数， p 为一素数， s 为能整除(2n)!/(n!n!)的 p 的最高幂次，则：(a) ps ≤ 2n；(b)若 p >√2n，则 s ≤ 1；(c)若 2n/3 < p ≤ n，则 s = 0。】
SCI期刊之一，位列一区。
第八步，因为乘积中的第一组的被乘因子数量为√2n 以内的素数数量，即未几于√2n/2 - 1 (因偶数及 1 不是素数)……由此获得：(2n)!/(n!n!)<(2n)√2n/2-1 ・ 42n/3。
他有不是上帝，并不能很明白的晓得通过引理得出来的推论究竟哪个有效，哪个没用。最稳妥的体例，就是一一尝试。
可一句古话说的好，一鼓作气，再而衰，三而竭。现在势头正足，最好一天拿下。
……………………
在网上搜刮一阵，程诺将论文转换为英文的PDF格局，打包投给了位于德古国的一家学术期刊：《数学通信标记》。
肝吧，少年！
如果以哥的程度，连一个毕业辩论都过不了，那还不如直接找块豆腐撞死算了。
程诺又顺手做了一份PPT，毕业辩论时会用到。
以是，这天白日的课一结束，程诺便仓促赶到图书馆，随便挑了一个没人的位置，拿出纸笔，考证本身的设法。
程诺手指敲击着键盘，四个多小时后，毕业论文正式脱稿。
因为幂函数√2n 随 n 的增加速率远快于对数函数 ln(2n)，是以上式对于充足大的 n 明显不成能建立。
这个时候，程诺不得不再次筹办开启修仙大法。
程诺感觉还是应当尝试一下。
程诺又充足的时候去浪……哦，不，是去完美他的毕业论文。