>>552
nC0 =1 < n^2+1 iff n=0
nC1 = n ≠ n^2+1
nC2 = n(n-1)/2 < n^2+1
nC3 = n(n-1)(n-2)/6 > n^2+1 iff n≧9
∴ nCk > n^2+1 if n ≧ 9, 3≦k≦n-3
(1)等号成立は(n,k)=(0,0)のみ
(2) a[0] = 1, a[1〜7] = 0, a[8] = 1, a[k] = k+1 - 4 (k≧9)