>>706
a_1 ≧ a_2/2 ≧ a_3/3 ≧ … ≧ 0
有界単調関数は収束する
QED