>>976
> のような不等式が十分大きなnに対して常に成り立つ事が前提です。
>>957 にはその論証がないぞ
その不等式の前に言ってることは

> 任意のεに対してあるNが存在して、n>Nのとき-ε<f<ε。

だけなんだから
これだけじゃ >>975 みたいなケースを排除しきれてないでしょ?