>>216

定理6.2系を使うためには、 x_n → a となる B の検任意の点列に対して、 lim f(x_n) が存在することを示さなければなりません。

ところが、例5では、有界で単調な数列 (x_n) に対してのみ、 lim f(x_n) が存在することを確かめればよいということを言っています。

これには明らかにギャップがあります。