>>30
a_n<0 だから上からおさえても無駄では?