ボルツァノ-ワイエルシュトラスの定理

Bolzano-Weierstrass theorem