【设 m 为满足 pm ≤ 2n 的最大自然数,则显然对于 i > m, floor(2n/pi)- 2floor(n/pi)= 0 - 0 = 0,求和止于 i = m,共计 m 项。由于 floor(2x)- 2floor(x)≤ 1,因此这 m 项中的每一项不是 0 就是 1……】
由上,得推论1:【设 n 为一自然数, p 为一素数,则能整除(2n)!/(n!n!)的 p 的最高幂次为: s =Σi≥1 [floor(2n/pi)- 2floor(n/pi)]。】
【因为 n ≥ 3 及 2n/3 < p ≤ n 表明 p2 > 2n,求和只有 i = 1 一项,即: s = floor(2n/p)- 2floor(n/p)。由于 2n/3 < p ≤ n 还表明 1 ≤ n/p < 3/2,因此 s = floor(2n/p)- 2floor(n/p)= 2 - 2 = 0。】
由此,得推论2:【设 n ≥ 3 为一自然数, p 为一素数, s 为能整除(2n)!/(n!n!)的 p 的最高幂次,则:(a) ps ≤ 2n;(b)若 p >√2n,则 s ≤ 1;(c)若 2n/3 < p ≤ n,则 s = 0。】