Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Proofs from Sequences and limits

All proofs from Sequences and limits.

Back to Sequences and limits

For a non-decreasing sequence bounded above, let L=sup⁡{an:n∈N}L=\sup\{a_n:n\in\mathbb N\}. Given ε>0\varepsilon>0, some term aNa_N is greater than L−εL-\varepsilon; otherwise L−εL-\varepsilon would be a smaller upper bound. Monotonicity gives L−ε<aN≤an≤LL-\varepsilon<a_N\le a_n\le L for all n≥Nn\ge N, so an→La_n\to L. The non-increasing case uses the infimum in the same way.