Let , and be \reftext{def:sequence-in-set-2026a}{sequences} of \reftext{def:real-numbers-c54-2026c}{real numbers}, and let be a real number. Limits are as in \reftext{def:limit-sequence-real-c54-2026a}{that definition}, and denotes the absolute value of a real number , that is, if and otherwise, which coincides with the \reftext{def:complex-modulus-2026a}{modulus} of regarded as a complex number by claim 8 of \ref{lem:complex-conjugate-modulus-properties-2026a}. Then the following hold.
\textbf{1. (Comparison)} If converges to , converges to , and for every , then .
\textbf{2. (Squeeze)} If for every and both and converge to , then converges to .
\textbf{3. (Domination by a null sequence)} If for every and converges to , then converges to .
\textbf{4. (Absolute values)} If converges to , then converges to .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…