>>403の問題に対する>>421の回答の中で、
＞よってa[n+2]-a[n+1]<=(1/2)*(a[n+1]-a[n])なのでa[n]は有界
ここがわかりません。
a[n+1]-a[n]→0ならa[n]は有界といえるのでしょうか？