1または-1をとるn個の整数a_1,a_2,...,a_nがある。
したがってこれらの和
S_n = Σ[i=1 to n] a_i
は-nからnまでのいずれかの整数値をとる。

(1)-n≤k≤nをみたす整数kを与える。等式S_n=kを実現する整数の組{a_1,...,a_n}が存在するときT_[n,k]=1、存在しないときT_[n,k]=0とする。
任意のnに対して、T_[n,k]=0となる組{a_1,...,a_n}が存在することを示せ。

(2)N[n] = Σ[k=-n to n] T_[n,k] に対し、次の極限を求めよ。
lim[n→∞] N[n]/(2n+1)