4.3.1Calculus III — Sequences & Series

Sequences — convergence, divergence, boundedness, monotonicity

1,920 words9 min readdifficulty · medium

WHAT is a sequence?

The first 5, 50, or 5 million terms NEVER decide convergence — only the tail does.


WHAT does convergence mean? (build the definition from scratch)

We want to say "ana_n gets close to LL and stays close." How do we make "close" precise without hand-waving?

WHY the ε\varepsilonNN definition? Because "gets close" is vague. So we let a challenger pick any tolerance ε>0\varepsilon>0 (a target band around LL). We must respond with a cutoff NN so that every term past NN lies inside that band. If we can always respond, no matter how tiny ε\varepsilon, the terms truly home in on LL.


Divergence — the flavours


Boundedness — a necessary condition


Monotonicity — the second tool

HOW to test: compute an+1ana_{n+1}-a_n (sign?) or the ratio an+1/ana_{n+1}/a_n vs 11 (for positive terms), or differentiate f(x)f(x) where an=f(n)a_n=f(n).


The payoff: Monotone Convergence Theorem (MCT)

Figure — Sequences — convergence, divergence, boundedness, monotonicity

Useful limit tools (so you don't always use ε\varepsilonNN)


Forecast-then-Verify drill


Common mistakes (Steel-manned)


Flashcards

What is a sequence, formally?
A function a:NRa:\mathbb{N}\to\mathbb{R}, written (an)(a_n).
State the ε\varepsilonNN definition of anLa_n\to L.
ε>0N:n>NanL<ε\forall\varepsilon>0\,\exists N: n>N\Rightarrow|a_n-L|<\varepsilon.
Convergent ⟹ ?
Bounded (proof: ε=1\varepsilon=1 tail + finite head).
Is bounded ⟹ convergent? Give counterexample.
No; an=(1)na_n=(-1)^n is bounded but oscillates.
State the Monotone Convergence Theorem.
A monotone bounded sequence converges (to its sup/inf).
Which axiom underlies MCT?
Completeness of R\mathbb{R} (least upper bound property).
How do you find the limit of a convergent recursive sequence an+1=f(an)a_{n+1}=f(a_n)?
Solve the fixed point L=f(L)L=f(L).
State the Squeeze Theorem for sequences.
If bnancnb_n\le a_n\le c_n and bn,cnLb_n,c_n\to L then anLa_n\to L.
Why does (1)n(-1)^n diverge (one line)?
Tail can't fit in a width-<2<2 band while terms stay distance 22 apart.
Does changing the first 1000 terms change convergence?
No — only the tail matters.
Test for monotonicity of (an)(a_n)?
Sign of an+1ana_{n+1}-a_n, or an+1/ana_{n+1}/a_n vs 11 for positive terms.
Limit of (1+1/n)n(1+1/n)^n?
ee (increasing + bounded above by 3 ⟹ MCT).

Recall Feynman: explain to a 12-year-old

Imagine you're walking toward a wall and each step you take is half the leftover distance. Your footprints make a list of positions: that list is a sequence. Converging means you keep getting closer and closer to the wall and basically end up touching it. Diverging means you either run away forever, or you keep hopping back and forth and never pick a spot. Two clues help: bounded = you stay inside the room (don't fly off), monotone = you always move the same direction (only forward, or only back). If you only move forward AND you stay in the room, you must end up stopping somewhere — that's the Monotone Convergence Theorem!

Connections

  • Completeness of the Real Numbers — the axiom powering MCT.
  • Bolzano–Weierstrass Theorem — bounded ⟹ convergent subsequence.
  • Series — convergence tests — sequences are the building blocks; partial sums are a sequence.
  • Limits of functionsε\varepsilonδ\delta is the continuous cousin of ε\varepsilonNN.
  • Cauchy Sequences — convergence without naming the limit.
  • Squeeze Theorem · The number e

Concept Map

long-run behaviour

decides

decides

defines

means

no such L

flavour

flavour

implies necessary

tool to test

tool to test

Sequence a:N to R

Tail behaviour

Converges to L

Diverges

epsilon-N definition

Only finitely many terms escape band

Diverges to infinity

Oscillation

Boundedness

Monotonicity

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, ek sequence matlab numbers ki ek infinite list — jaise a1,a2,a3,a_1, a_2, a_3,\dots — jo asal mein ek function hai NR\mathbb{N}\to\mathbb{R}. Sabse bada sawaal sirf ek hota hai: jab nn bahut bada hota jaata hai, kya terms kisi ek number ke paas jaake settle ho jaate hain? Agar haan, to converge; agar nahi (ya to bhaag jaate hain infinity ki taraf, ya bounce karte rehte hain), to diverge.

"Paas jaana" ko exact banane ke liye ε\varepsilonNN definition use karte hain: koi bhi chhota band ε\varepsilon tum chuno limit LL ke aaspaas, mujhe ek cutoff NN dena padega jiske baad saare terms us band ke andar aa jaayein. Yeh "challenge–response" game hi convergence ka asli matlab hai. Yaad rakho — sirf tail (aage ke terms) matter karta hai, pehle ke 1000 terms badal do, koi farak nahi padta.

Do tools bahut kaam aate hain. Bounded matlab sequence kamre ke andar rehti hai, bhaagti nahi. Monotone matlab hamesha ek hi direction — ya sirf badhti, ya sirf ghatti. Yahan ek important point: sirf bounded hona kaafi NAHI hai (jaise (1)n(-1)^n bounded hai par bounce karta hai). Lekin Monotone + Bounded = Converge — yeh hai MCT (Monotone Convergence Theorem), jo R\mathbb{R} ki completeness se aata hai.

Recursive sequences mein ek trick: agar pata chal gaya ki converge karti hai, to limit nikaalne ke liye fixed point equation L=f(L)L=f(L) solve karo — jaise Newton ki 2\sqrt2 wali sequence mein L=12(L+2L)L=\tfrac12(L+\tfrac2L) se L=2L=\sqrt2 aata hai. Bas yeh samajh lo aur Squeeze Theorem (sinnn0\frac{\sin n}{n}\to 0 type) — pura topic clear ho jaayega.

Go deeper — visual, from zero

Test yourself — Calculus III — Sequences & Series

Connections