数列 → 有界列 → 部分列 → 区間分割 → 収束 → Bolzano-Weierstrass の定理
入口
数列
目標
Bolzano-Weierstrass の定理
進捗
ルート設計中
順番に並ぶ点を扱う
値が一定範囲に収まる列を見る
元の列から順序を保って抜き出す
逃げ場を狭めながら点を追う
ある点へ近づくことを確認する
有界列から収束部分列を取り出す