nCkの素因子は全てn以下ゆえコレが素数になるにはnCk≦nが必要
k=1,n-1ではnC1=nで‥
2≦k≦n-2の時nCk≧nC2によりn(n-1)/2≦nが必要でn≦3が必要
以下略