>>792
b(n)=a(n+1)-a(n)とおけば、b(n)*b(n+1)<0、そして |b(n)| は単調減少。