a_n = 2 - 1/n が増加で、2以下の上界を持つことを示せ。