Bolzano–Weierstrass theorem/Definition

A bounded sequence of real numbers has a convergent subsequence.