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