考虑数列a2=x,a(k+1)=(ak^2-1)/k,k=2,3,...
如果x>=3,容易归纳证明ak>=k+1,k=2,3,...
下面如果x<3,我们证明{ak}有界
若有某ak<=k,则a(k+1)<ak^2/k<=k,进而a(k+2)<=k,...于是{ak}有界;否则结合x<3及归纳法容易知道k<ak<k+1,k=2,3,...
设ak-k-1=ck,则容易知道-1<ck<0和
c(k+1)=((ck+k+1)^2-1)/k-k-2=ck/k*(ck+2k+2)
于是|c(k+1)|>=|ck|*(2k+2-1)/k>=2|ck|>0
于是|ck|→+∞,矛盾