>>764
b[n]=b[n-1]が十分に大きな自然数nについて成り立つなら
b[n-1]=b[n-2]も成り立つ。
以下同様にして...=b[1]。