一道数列的证明题

1:n=1时,a1>=3,1+2=3
所以a1>=1+2成立.
n=1时,an(n脚标)>=n+2成立.

2:设n=k时,an(n脚标)>=n+2成立.
a(k+1)=ak^2-kak=ak(ak-k)
因为ak>=k+2,
ak-k>=2
ak(ak-k)>=2ak>=2k+4>=k+3
a(k+1)>=k+3=(k+1)+2
n=k+1时,an(n脚标)>=n+2也成立.

3:由上面2步可以得出:对所有的n>=1,有an(n脚标)>=n+2

看不大清楚，这个应该是用归纳法就可以吧。先证明a1可以，再设当n=k时候可以，推出n=k+1也可以就OK了