• 342 Bonzano-Weierstrass theorem
A subset of Rⁿ is sequentially compact if and only if it is closed and bounded.
http://qindex.info/i.php?x=5120