>>752
π-a_n=b_nとでもすると
b_n≦L*b_(n-1)
って形になってるから
b_n≦L*{b_(n-1)}≦L*{L*b_(n-2)}≦…
を繰り返す