如何证明an=n2/n2+1有界性