>>513
a[n+1]-a[n]≦(1/2)^(n-1)(a[2]-a[1])
右辺の無限級数は有界