The Bolzano-Weierstrass theorem states that every bounded sequence of real numbers contains a convergent subsequence whose limit is a real number