>>275で解答済みだったか・・・

1+x≦exp(x) より 1-1/k≦exp(-1/k) となるから>>275より

a_n≦exp(- 1/2 - 1/4 - 1/6 - ・・・ - 1/2n)

が成り立つ・・・でもＯＫ