0≦k≦nである整数kで、
nCk/(n^2+1)≧1…@
となるものの個数をa[n]とする。

(1)2以上の整数nで、@の等号を成立させるkが存在するものはあるか。

(2)lim[n→∞] a[n]/(n+1) を求めよ。