最后一步,由(2n)!/(n!n!)=Πp≤2n/3 ps(p)。将连乘分解为 p ≤√2n 及√2n < p ≤ 2n/3 两部分……由此,得证Bertrand 假设成立。
一步接一步,逻辑严密。
思路清奇,但似乎却在常理之中。
读完第一遍,程诺并未找出论文中存在的任何瑕疵。
程诺眉头轻皱一下。
果然,事情没有那么简单。
程诺没有时间再去通读检查一遍,他先是排除了论文中逻辑推导简单的部分,直接忽略不看。
如果那个逻辑错误真的出现在那种低级的逻辑推导步骤上,魏院长根本不可能还将其当做程诺的论文答辩题目。
因为,那样太丢人。
论文中存在庞大运算量和缜密推导步骤的地方一共五处。
程诺逐一排查。
“第一处,Euler 乘积公式右端求和和普通有限积的推理,首先,将等式右端所有含有因子 2 的 f(n)项都消去,然后……”
“第二处,素数的分布以及二步精确,……”
…………
“第四处,f(n)的性质的代入,f(2)Σnf(n)= f(2)+f(4)+f(6)+...”
忽然,看到这一部分内容的程诺,目光陡然一凝。
他盯着一行公式,左瞧瞧,右瞅瞅,然后嘴角浮现一抹淡淡的笑容。
我,找找到你了!
程诺拿起碳素笔,在草稿纸上写写画画一阵后,随后重重的在论文的那行公式下划了一条横线。
横线上的公式:Πp[1-f(p)]Σnf(n)= f(1)= 1,(2n)!/(n!n!)=Πp≤√2n ps(p),Σnf(n)=Πp[1-f(p)]-1
就是这里,没错了。
第三个公式和前两个公式只见的逻辑关系,存在一种习惯性的错误。
这三个公式,也算是整篇论文证明过程中几个核心公式之一,也因此,公式的错误,导致整篇论文成为一篇费稿。
程诺此时的心情无比好。
因为他不仅找到了魏院长要求的那处逻辑错误,并且,脑海里已经计算出合理纠正方案!
抬头一看,四位老师面前的答辩席上没人。
程诺拿起论文,昂首阔步的走上讲台。
然后,在四位老师微微错愕的目光中,淡淡一笑,“老师,我已经搞定了!”