Monotone bounded sequence convergence theorem
A nondecreasing real sequence bounded above converges to the supremum of its terms; the nonincreasing bounded-below version converges to the infimum.
atlas-monotone-sequence-convergence-theorem · canonical_mko