>>347
>(1) 素数は無限にある。
>(2) 素数の求め方を述べよ。

(n//k)=(n/k)(n-1//k-1)
p>kより(p/k)は割り切れない。よって左辺はpの倍数である
同様にkがp^kでちょうど割り切れる時は(n/p^k)=p^(n-k)が残るので左辺はこれの倍数である。もちろんpの倍数でもある。
多項係数に関してもa, b, …にpの倍数が無ければpᵏの倍数であり、ちょうどpᵏで割り切れるものがあればp^(n-k)の倍数になる。
nがpの倍数なのでkが幾つであっても分子の方がpの倍数が多いまたは等しい。