[Thm]: Bolzano Weierstrass Theorem

設 $s=(s_n)_{n=1}^\infty$ 為一有界無窮數列, 則 $s$ 必有一收斂子列