Uniqueness of Limits and Boundedness of Convergent Real Sequences
lemmaAnalysislem:limit-uniqueness-boundedness-real-2026aLet be a \reftext{def:sequence-in-set-2026a}{sequence} of \reftext{def:real-numbers-c54-2026c}{real numbers}. Then the following hold.
\textbf{1. (Uniqueness of limits)} If \reftext{def:limit-sequence-real-c54-2026a}{converges} to and also converges to , then .
\textbf{2. (Convergent sequences are bounded)} If converges to some real number, then is \reftext{def:bounded-sequence-real-c54-2026a}{bounded}.
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…