证明 a_n = 1/n^2 递减且有界1。