19/08/21 04:29:00.38 YfssQOZx.net
a^s | n とする。(s≧1)
C(N,k) = (N/k)Π[i=1,k-1] (N-i)/i
のうち素因数aが残るのは (N/k) のところ。
N=n^(n-1) には a が (n-1)s 回現れるが、k には (k-1)以下。
∴ (N/k) には (n-1)s - (k+1) 回以上
∴ (N/k) n^k には (n-1+k)s - (k-1) = ns + (k-1)(s-1) ≧ ns 回以上
なので OK ですよね。