设 m 为满足的最大自然数,则显然对于 ∓mp;mp;mp;gt; m, floor2np 2floornp 0 0 0,求和止于 m,共计 m 项。由于 floor2x 2floorx 1,因此这 m 项中的每一项不是 0 就是 1……
由上,得推论1:设 n 为一自然数, p 为一素数,则能整除2n!n!n!的 p 的最高幂次为: s Σ1 [floor2np 2floornp]。
因为 n 3 及 2n3 ∓mp;mp;mp;lt; p n 表明∓mp;mp;mp;gt; 2n,求和只有 1 一项,即: s floor2np 2floornp。由于 2n3 ∓mp;mp;mp;lt; p n 还表明 1 np ∓mp;mp;mp;lt; 32,因此 s floor2np 2floornp 2 2 0。
由此,得推论2:设 n 3 为一自然数, p 为一素数, s 为能整除2n!n!n!的 p 的最高幂次,则: 2n;b若 p ∓mp;mp;mp;gt;2n,则 s 1;c若 2n3 ∓mp;mp;mp;lt; p n,则 s 0。