342 Bonzano-Weierstrass theorem
ᐥAny bounded sequence of real numbers contains a convergent subsequence.ᐥ If max「a⸤n⸥」 does not exist, then for all a⸤n⸥ there exits a natural number N such that a⸤n⸥ < a⸤N⸥. This means that there exists an increasing subsequence. ┄ A bounded monotone s ...
http://qindex.info/i.php?x=9765

-