Monotone bounded sequence (source code)

= Monotone bounded sequence

An increasing real sequence converges exactly when it is bounded above. For a bounded sequence, its limit is the supremum of its set of terms.