Bolzano–Weierstrass Theorem
A proof that every bounded sequence in finite-dimensional Euclidean space has a convergent subsequence, with the compactness distinction.
1 article.
A proof that every bounded sequence in finite-dimensional Euclidean space has a convergent subsequence, with the compactness distinction.