>>974
a_n→0 が言える。