19/10/10 23:14:02.78 NZpM/rz4.net
n!を素因数分解したとき、素因数pの指数は [n/p]+[n/p^2]+[n/p^3]+... で与えられる。
「n(n-1)(n-2)･･･(n-r+1)がr!で割り切れる」事を示すには、「n!が(n-r)!*r!で割り切れる」事を示せばよい。
これは、n以下の任意の素因数pについて、
[n/p]+[n/p^2]+[n/p^3]+...≧([(n-r)/p]+[
19/10/10 23:14:02.78 NZpM/rz4.net
n!を素因数分解したとき、素因数pの指数は [n/p]+[n/p^2]+[n/p^3]+... で与えられる。
「n(n-1)(n-2)･･･(n-r+1)がr!で割り切れる」事を示すには、「n!が(n-r)!*r!で割り切れる」事を示せばよい。
これは、n以下の任意の素因数pについて、
[n/p]+[n/p^2]+[n/p^3]+...≧([(n-r)/p]+[