で、>>868はlim_[n→∞]a(n)の後ろに何が来ると思ったんだ?
ここが違うと命題の逆の真偽が全然違うから勝手に推測してはいかんと思うんだが。