Proofs from Sequences and limits
All proofs from Sequences and limits.
For a non-decreasing sequence bounded above, let . Given , some term is greater than ; otherwise would be a smaller upper bound. Monotonicity gives for all , so . The non-increasing case uses the infimum in the same way.