n+k≧nk　としてよい
k=0のとき成り立ち、a[n,0]=C[n,0]^2=1
k=1のとき成り立ち、a[n,1]=C[n,1]C[n+1,n]=n(n+1)
k>1のとき　n≦k/(k-1)<2　より　n≦1　だから矛盾
k=1で最大