Bound, Sup, Inf
Monotone Sequence
Subsequence
Bounded+Monotone -> Convergent
Existence of Monotone Subsequence
Bounded -> Existence of Convergent Subsequence
Bolzano–Weierstrass Theorem (B-W)
February 5, 2025
Bolzano–Weierstrass Theorem (B-W)