二項係数 nCkを素因数分解したときの因子をp^mとすると

p^m≦n となることを証明せよ