0<a_n<9くらいはすぐにわかるので|a_n-3|を評価