問62
ならば であることを証明せよ.
とその前後の値が の間隔に収まっていくなら,数列 は に収まっていく.
- はさみうちの原理を使って を導き、問39から が示せる.
- はさみうちの原理で使う不等式は, という条件から導く.
- 十分大きな に対して が1より小さい定数 で上から抑えられることを示す.
はさみうちの原理を使って 示す.
仮定より,任意の正の数 において,ある正の数 が存在し,
が成り立つ.絶対値を外すことで,
となる.ここで なので, となる を選べる(イプシロンデルタ論法はそういうことであるから.).そのとき, とおくと,
となる.つまり,
である. で成り立つので,
となる.
なので,. でもあるので,はさみうちの原理から が得られる.
したがって,問39から となる.