低着头，他列下一行行算式。

        【设m为满足pm≤2n的最大自然数，则显然对于;-2=0-0=0，求和止于i=m，共计m项。由于floor2≤1，因此这m项中的每一项不是0就是1……】

        由上，得推论1：【设n为一自然数，p为一素数，则能整除2n!/n!n!的p的最高幂次为：s=Σ2n/]。】

        【因为n≥3及2;lt;p≤n表明p2&;2n，求和只有i=1一项，即：2n//p。由于2;lt;p≤n还表明1≤;lt;3/2，因此2n//p=2-2=0。】

        由此，得推论2：【设n≥3为一自然数，p为一素数，s为能整除2n!/n!n!的p的最高幂次，则：aps≤2n；;gt;√2n，则s≤1；/3&;p≤n，则s=0。】

        一行行，一列列。

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

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

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

        这是他劳动一天的成果。

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

        内容未完，下一页继续阅读