低着头，他列下一行行算式。
【设m为满足pm≤2n的最大自然数，则显然对于i>m，floor2n/pi-2floorn/pi=0-0=0，求和止于i=m，共计m项。由于floor2x-2floorx≤1，因此这m项中的每一项不是0就是1……】
由上，得推论1：【设n为一自然数，p为一素数，则能整除2n!/n!n!的p的最高幂次为：s=Σi≥1[floor2n/pi-2floorn/pi]。】
【因为n≥3及2n/3<p≤n表明p2>2n，求和只有i=1一项，即：s=floor2n/p-2floorn/p。由于2n/3<p≤n还表明1≤n/p<3/2，因此s=floor2n/p-2floorn/p=2-2=0。】
由此，得推论2：【设n≥3为一自然数，p为一素数，s为能整除2n!/n!n!的p的最高幂次，则：aps≤2n；b若p>√2n，则s≤1；/3<p≤n，则s=0。】
一行行，一列列。
除了上课，程诺一整天都泡在图书馆里。
等到晚上十点闭馆的时候，程诺才背着书包依依不舍的离开。
而在他手中拿着的草稿纸上，已经密密麻麻的列着十几个推论。
这是他劳动一天的成果。
明天程诺的工作，就是从这十几个推论中，寻找出对bertrand假设证明工作有用的推论。
内容未完，下一页继续阅读