a_n = 1/n^2 が減少で、1によって有界であることを示せ。