Sequences bring the ε–δ idea back, now as ε–N: a tail that stays arbitrarily close to a limit. They are the foundation for series in the final units.
Sequences make "getting arbitrarily close" precise in the simplest setting, and they are the scaffolding for series. Cauchy sequences are even used to build the real numbers themselves.
Every iterative algorithm is a sequence converging (you hope) to an answer — Newton's method, fixed-point iteration, and the training loops of machine learning all live here. The convergence rate is exactly how fast they finish.
Zeno's paradox (~450 BC) — Achilles can never catch the tortoise — is really a question about the limit of a sequence, and the limit resolves it. Two millennia later, Cantor and Dedekind used Cauchy sequences to construct $\mathbb{R}$ rigorously. The ratio of consecutive Fibonacci numbers tends to the golden ratio, a limit that also appears in mathematical models of phyllotaxis.
A sequence limit proof is an $\varepsilon$ proof with only one moving variable: the index $n$. The proof should show that every term far enough out in the tail is close to the proposed limit.
For recurrences, finding a candidate limit is not enough. First prove the sequence actually converges, usually by monotone convergence or by contraction estimates. Only then is it legitimate to take limits on both sides of the recurrence.
$\lim_{n\to\infty}a_n=L$ means: for every $\varepsilon>0$ there is $N\in\mathbb N$ such that $n\ge N\Rightarrow|a_n-L|<\varepsilon$.
Prove $\lim\dfrac{n}{n+1}=1$. Given $\varepsilon>0$, $\left|\dfrac{n}{n+1}-1 \right|=\dfrac{1}{n+1}<\varepsilon$ once $n>\tfrac1\varepsilon-1$, so take $N=\lceil1/\varepsilon\rceil$.
Limits of sums, products, and quotients behave as expected. Squeeze: if $b_n\le a_n\le c_n$ and $b_n,c_n\to L$, then $a_n\to L$.
$\dfrac{\sin n}{n}\to0$ since $-\dfrac1n\le\dfrac{\sin n}{n}\le\dfrac1n$.
A sequence that is increasing and bounded above converges (to its supremum). Likewise decreasing and bounded below.
$a_1=\sqrt2$, $a_{n+1}=\sqrt{2+a_n}$.
• $N$ may depend on $\varepsilon$ but not on $n$.
• A bounded sequence need not converge (e.g. $(-1)^n$); monotonicity is what
MCT adds.
• When solving $L=f(L)$, also confirm the limit exists first.
Problems adapted from the MAT137 question bank by Alfonso Gracia-Saz, used under CC BY-SA 4.0. Write full solutions before opening the answer.
Prove $\lim\dfrac{2n+1}{n}=2$ from the definition.
Does $a_n=\dfrac{n!}{n^n}$ converge? To what?
$a_1=1$, $a_{n+1}=\tfrac12(a_n+2/a_n)$. Show it converges and find the limit.
Prove $\lim\dfrac{n^2}{n^2+1}=1$ directly from the definition.
Evaluate $\displaystyle\lim_{n\to\infty}\frac{n!+2e^n}{3n!+4e^n}$.
Evaluate $\displaystyle\lim_{n\to\infty}\frac{5n^5+5^n+5\,n!}{n^n}$.
Prove: if a sequence is increasing and unbounded above, it diverges to $\infty$.
$R_0=1$, $R_{n+1}=\dfrac{R_n+2}{R_n+3}$. Show it converges and find the limit.
Course coverage. This unit is part of the complete MAT137 topic map. It should cover the following items before you move on:
Use the Alfonso Gracia-Saz MAT137 materials as the primary local spine, with the current UofT single-variable calculus topic split as the completeness check. The added items are original study prompts, not copied textbook exercises.
The sequence spine is: define convergence precisely, use monotone bounded arguments for existence, then identify the only possible limit by algebra.
Use these after the main practice set. They are designed to force definition-level reasoning, theorem selection, and mixed application rather than routine calculation only.
Prove $1/n\to0$.
Show $a_n=1-1/n$ converges using monotone bounded convergence.
Explain why every convergent sequence is Cauchy.
If $a_{n+1}=\sqrt{2+a_n}$ and $a_1=1$, what must be proved before solving $L=\sqrt{2+L}$?