• 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