【因为n≥3及2n3lt≤n表明2gt2n，求和只有i=1一项，即：s=floor（2n）-2floor（n）。由于2n3lt≤n还表明1≤nlt32，因此s=floor（2n）-2floor（n）=2-2=0。】

由此，得推论2：【设n≥3为一自然数，为一素数，s为能整除（2n）！（n！n！）的的最高幂次，则：（a）s≤2n；（b）若gt√2n，则s≤1；（c）若2n3lt≤n，则s=0。】

一行行，一列列。

除了上课，程诺一整天都泡在图书馆里。

等到晚上十点闭馆的时候，程诺才背着书包依依不舍的离开。

而在他手中拿着的草稿纸上，已经密密麻麻的列着十几个推论。

这是他劳动一天的成果。

明天程诺的工作，就是从这十几个推论中，寻找出对bertrand假设证明工作有用的推论。

……

一夜无话。

翌日，又是阳光明媚，春暖花开的一天。

日期是三月初，方教授给程诺的一个月假期还剩十多天的时间。

程诺又足够的时间去浪……哦，不，是去完善他的毕业论文。

论文的进度按照程诺规划的方案进行，这一天，他从推导出的十几个推论中寻找出证明bertrand假设有重要作用的五个推论。

结束了这忙碌的一天，第二天，程诺便马不停蹄的开始正式bertrand假设的证明。

这可不是个轻松的工作。