Monotone sequence convergence theorem: Let (an)(a_n) be a of real numbers.

  • If (an)(a_n) is increasing and , then (an)(a_n) converges and
limnan=sup{an: nN}.\lim_{n\to\infty} a_n=\sup\{a_n:\ n\in\mathbb{N}\}.
  • If (an)(a_n) is decreasing and , then (an)(a_n) converges and
limnan=inf{an: nN}.\lim_{n\to\infty} a_n=\inf\{a_n:\ n\in\mathbb{N}\}.
Remarks

This theorem is a primary working form of the and is used throughout real analysis to produce limits from order and boundedness information.