This deep dive is the training ground for the Limit comparison test . The parent note told you the rule and proved it. Here we hunt down every kind of series LCT can be thrown at , so that when the exam hands you a fraction you have never seen, you already know which cell of the table it falls into.
Before we start: recall the one number the whole test lives on,
L = lim n → ∞ b n a n ,
where a n is your series' term and b n is the skeleton you build by keeping the strongest power top and bottom. Read L like a verdict:
0 < L < ∞ — same fate, and ∑ b n 's fate decides both.
L = 0 — a n is smaller ; only useful if ∑ b n converges .
L = ∞ — a n is bigger ; only useful if ∑ b n diverges .
Every LCT problem you will ever meet lives in one of these cells. The last column names the example on this page that nails it.
Cell
What makes it different
Comparison b n
Verdict style
Example
A polynomial / polynomial
leading powers, clean L
p-Series
main 0 < L < ∞
Ex 1
B root in denominator
fractional dominant power
p -series with p = 2 1
main, diverges
Ex 2
C exponential dominates
2 n swamps polynomial
Geometric Series
main, converges
Ex 3
D slow log factor
ln n vs power of n
p -series, L = 0
edge L = 0
Ex 4
E wrong-way direct comparison
L = ∞ still decides
Harmonic Series
edge L = ∞
Ex 5
F degenerate / trap
a n → 0 , or bad b n
—
test misused
Ex 6
G real-world word problem
model a total from a rate
p -series
main
Ex 7
H exam twist
two unknown parameters
p -series in p
boundary tuning
Ex 8
Intuition How to read the matrix
Columns A–C are the "same rate, same fate" cases — the friendly ones. D and E are the one-directional edge cases where L hits 0 or ∞ but the test still works because ∑ b n 's fate lines up. F is where students crash. G and H are the same maths dressed up.
Worked example Example 1 (Cell A) —
n = 1 ∑ ∞ 2 n 5 + n 2 + 1 5 n 3 − 2 n + 7
Forecast: cover the weak terms with your thumb. Top looks like 5 n 3 , bottom like 2 n 5 . Ratio ∼ 2 n 5 5 n 3 = 2 n 2 5 — that smells like 1/ n 2 , a convergent p -series. Guess: converges.
Pick b n . Keep only the strongest power top and bottom:
b n = n 5 n 3 = n 2 1 .
Why this step? For huge n the − 2 n + 7 and + n 2 + 1 are dust next to the leading powers; the ratio of those powers is what governs decay.
Compute L .
L = lim n → ∞ 1/ n 2 ( 5 n 3 − 2 n + 7 ) / ( 2 n 5 + n 2 + 1 ) = lim n → ∞ 2 n 5 + n 2 + 1 n 2 ( 5 n 3 − 2 n + 7 ) .
Divide top and bottom by n 5 :
L = lim n → ∞ 2 + 1/ n 3 + 1/ n 5 5 − 2/ n 2 + 7/ n 5 = 2 5 .
Why this step? Dividing by the highest power n 5 sends every "weak" term to 0 , leaving only the leading coefficients.
Conclude. 0 < L = 2 5 < ∞ , and ∑ 1/ n 2 converges (p = 2 > 1 ). The series converges. ✔
Verify: L is finite and positive, so ∑ a n and ∑ b n share a fate; b n 's fate is convergence. Sanity: partial sums of ∑ 2 n 5 + n 2 + 1 5 n 3 − 2 n + 7 settle near a fixed number, consistent with convergence.
Worked example Example 2 (Cell B) —
n = 1 ∑ ∞ n + 4 n + 1
Forecast: top ∼ n = n 1/2 , bottom ∼ n . Ratio ∼ n 1/2 / n = 1/ n 1/2 — a p -series with p = 2 1 ≤ 1 . Guess: diverges.
Pick b n = n 1/2 1 . Why? The dominant power on top is n 1/2 , on bottom n 1 ; their ratio is n 1/2 − 1 = n − 1/2 .
Compute L .
L = lim n → ∞ 1/ n ( n + 1 ) / ( n + 4 ) = lim n → ∞ n + 4 n ( n + 1 ) = lim n → ∞ n + 4 n + n .
Divide top and bottom by n :
L = lim n → ∞ 1 + 4/ n 1 + 1/ n = 1.
Why this step? Multiplying by n turns the awkward root into a clean polynomial ratio.
Conclude. 0 < L = 1 < ∞ , and ∑ 1/ n 1/2 diverges (p = 2 1 ≤ 1 ). The series diverges. ✔
Verify: L = 1 means the terms behave identically to 1/ n for large n ; a Direct Comparison Test proof of divergence would be painful here (the inequalities point the wrong way), which is exactly why LCT is the right tool.
Worked example Example 3 (Cell C) —
n = 1 ∑ ∞ 4 n − n 3 n + n 2
Forecast: exponentials crush polynomials. Top ∼ 3 n , bottom ∼ 4 n . Ratio ∼ ( 3/4 ) n — a Geometric Series with ∣ r ∣ = 3/4 < 1 . Guess: converges.
Look at the figure: the blue 3 n curve and yellow 4 n curve both rocket up, but the red ratio 3 n / 4 n collapses to zero geometrically — that collapse is what convergence looks like.
Pick b n = ( 4 3 ) n = 4 n 3 n . Why? Keep the dominant exponential top and bottom; n 2 and − n are negligible beside 3 n and 4 n (any exponential with base > 1 eventually dwarfs any polynomial).
Compute L .
L = lim n → ∞ 3 n / 4 n ( 3 n + n 2 ) / ( 4 n − n ) = lim n → ∞ 3 n ( 4 n − n ) 4 n ( 3 n + n 2 ) .
Split into pieces by dividing top and bottom by 3 n 4 n :
L = lim n → ∞ 1 − n / 4 n 1 + n 2 / 3 n = 1 − 0 1 + 0 = 1.
Why this step? n 2 / 3 n → 0 and n / 4 n → 0 because exponential growth outpaces polynomial growth — this is the fact the figure shows.
Conclude. 0 < L = 1 < ∞ , and ∑ ( 3/4 ) n converges (geometric, ∣ r ∣ < 1 ). The series converges. ✔
Verify: ∑ n = 1 ∞ ( 3/4 ) n = 1 − 3/4 3/4 = 3 , a finite total — the reference series genuinely converges, so LCT's verdict is trustworthy.
Worked example Example 4 (Cell D) —
n = 2 ∑ ∞ n 3 ln n
Forecast: ln n grows so slowly that n 3 l n n decays almost like 1/ n 3 . Guess: converges — but we want a clean verdict, so we deliberately choose a comparison that sends L to 0 .
Pick b n = n 2 1 . Why? We compare against a slightly larger but still convergent p -series (p = 2 > 1 ). The extra factor of n in n 2 1 versus n 3 1 leaves an n in the denominator to swallow the slow ln n , forcing L = 0 .
Compute L .
L = lim n → ∞ 1/ n 2 ( l n n ) / n 3 = lim n → ∞ n l n n .
This is a classic: a logarithm divided by a positive power of n tends to 0 (the power of n always wins). So L = 0 .
Why this step? Because ln n grows slower than n ε for any ε > 0 ; here ε = 1 so the ratio dies.
Conclude. L = 0 and ∑ 1/ n 2 converges. By the L = 0 rule of LCT, the series converges. ✔
Verify: the L = 0 case only gives convergence when ∑ b n converges — and p = 2 > 1 guarantees that. Had we carelessly used b n = 1/ n (which diverges) with L = 0 , the test would say nothing (see Cell F).
Worked example Example 5 (Cell E) —
n = 1 ∑ ∞ n 3/2 n + 1
Forecast: n 3/2 n + 1 ≈ n 3/2 n = n 1/2 1 , and p = 2 1 ≤ 1 diverges. Guess: diverges. We'll show the L = ∞ edge case also nails it if we compare against the harmonic series.
Pick b n = n 1 (the Harmonic Series , which diverges ). Why? We deliberately pick a b n that decays faster than a n , so the ratio blows up — and because ∑ b n diverges, the L = ∞ rule still applies.
Compute L .
L = lim n → ∞ 1/ n ( n + 1 ) / n 3/2 = lim n → ∞ n 3/2 n ( n + 1 ) = lim n → ∞ n 3/2 n 2 + n .
Divide top and bottom by n 3/2 :
L = lim n → ∞ ( n 1/2 + n − 1/2 ) = ∞.
Why this step? The leading term n 2 / n 3/2 = n 1/2 grows without bound — so a n is eventually much bigger than the harmonic term.
Conclude. L = ∞ and ∑ 1/ n diverges. By the L = ∞ rule, the series diverges. ✔
Verify: since a n is eventually larger than a divergent 1/ n , it must diverge too. Cross-check with a friendlier b n = 1/ n 1/2 : then L = lim n n + 1 = 1 , main case, and ∑ 1/ n 1/2 diverges — same verdict , two routes.
Worked example Example 6 (Cell F) — two ways to break LCT
Trap 6a — the terms don't even go to zero. Consider n = 1 ∑ ∞ 2 n + 3 n + 1 .
Forecast: before touching LCT, check the term. Does a n → 0 ?
Compute the term limit.
lim n → ∞ 2 n + 3 n + 1 = lim n → ∞ 2 + 3/ n 1 + 1/ n = 2 1 = 0.
Why this step? A convergent series must have a n → 0 (the divergence test / term test). Here a n → 2 1 , so the series diverges immediately — no comparison needed. LCT would be a waste of ink.
Verify: 2 1 = 0 , so the necessary condition for convergence fails. Diverges. ✔
Trap 6b — mismatched L . Take the convergent ∑ n 2 1 but foolishly compare with b n = n 1 (harmonic, divergent ).
Compute L .
L = lim n → ∞ 1/ n 1/ n 2 = lim n → ∞ n 1 = 0.
Why this step? L = 0 only concludes convergence when ∑ b n converges . Here ∑ 1/ n diverges , so the L = 0 rule gives no information — the test is inconclusive with this b n .
Fix: pick b n = 1/ n 2 itself (or any convergent p -series with p > 1 ); then L = 1 , main case, converges cleanly.
Verify: ∑ 1/ n 2 = π 2 /6 converges — the right comparison confirms it; the wrong one just stalls. Lesson: aim for 0 < L < ∞ , and always match L = 0 with convergent b n , L = ∞ with divergent b n .
Common mistake The Cell F lesson in one line
L = 0 with a divergent b n , or L = ∞ with a convergent b n , tells you nothing . Those are mismatches — rebuild b n .
Worked example Example 7 (Cell G) — total signal energy
A sensor receives, on ping n , an energy of a n = n 3 + 2 n 4 n + 1 joules. Question: does the total energy ∑ n = 1 ∞ a n over infinitely many pings stay finite (converge) or blow up (diverge)?
Forecast: top ∼ 4 n , bottom ∼ n 3 , ratio ∼ 4/ n 2 — like 1/ n 2 , convergent. Guess: total energy is finite.
Pick b n = n 2 1 . Why? Strongest power top is n , bottom is n 3 ; ratio n / n 3 = 1/ n 2 .
Compute L .
L = lim n → ∞ 1/ n 2 ( 4 n + 1 ) / ( n 3 + 2 n ) = lim n → ∞ n 3 + 2 n n 2 ( 4 n + 1 ) = lim n → ∞ n 3 + 2 n 4 n 3 + n 2 .
Divide top and bottom by n 3 :
L = lim n → ∞ 1 + 2/ n 2 4 + 1/ n = 4.
Conclude. 0 < L = 4 < ∞ , and ∑ 1/ n 2 converges. The total energy converges — it is finite. ✔
Verify: units check — each a n is in joules, the sum of a convergent joule series is a finite joule total; physically the received energy per ping decays like 1/ n 2 , fast enough to sum to a bounded amount. L = 4 is finite and positive, so the verdict is valid.
Worked example Example 8 (Cell H) — for which
p does it converge? n = 1 ∑ ∞ n p + n n 2 + 1
Forecast: top ∼ n 2 , bottom ∼ n p (assuming p > 1 so n p dominates n ). Ratio ∼ n 2 / n p = 1/ n p − 2 — a p -series with exponent p − 2 . It converges when p − 2 > 1 , i.e. p > 3 . Guess: converges iff p > 3 .
Pick b n = n p − 2 1 (valid for p > 1 so that n p is the dominant denominator term). Why? Keep leading powers: n 2 / n p = n 2 − p = 1/ n p − 2 .
Compute L .
L = lim n → ∞ 1/ n p − 2 ( n 2 + 1 ) / ( n p + n ) = lim n → ∞ n p + n n p − 2 ( n 2 + 1 ) = lim n → ∞ n p + n n p + n p − 2 .
Divide top and bottom by n p :
L = lim n → ∞ 1 + n 1 − p 1 + n − 2 = 1 ( for p > 1 ) .
Conclude. L = 1 always (main case) for p > 1 , so ∑ a n shares the fate of ∑ 1/ n p − 2 . That p -series converges ⟺ p − 2 > 1 ⟺ p > 3 .
Boundary check: at p = 3 , b n = 1/ n (harmonic) diverges, so the series diverges at p = 3 ; for p < 1 the denominator is dominated by n instead and the term ∼ n 2 / n = n doesn't even go to 0 (diverges). So converges exactly when p > 3 .
Verify: plug p = 4 : b n = 1/ n 2 , converges — matches. Plug p = 3 : b n = 1/ n , diverges — matches boundary. Plug p = 5 : b n = 1/ n 3 , converges — matches. All consistent with "converges ⟺ p > 3 ." ✔
Recall Which cell is each series?
∑ n 7 + 3 7 n 4 (poly/poly, converges) ::: Cell A — b n = 1/ n 3 , L = 7 .
∑ n 3 + n 1 ::: Cell B — b n = 1/ n 3/2 , p = 3/2 > 1 , converges.
∑ 5 n 2 n + 1 ::: Cell C — geometric, r = 2/5 , converges.
∑ n 4 l n n ::: Cell D — L = 0 vs convergent 1/ n 3 , converges.
∑ n 3/2 n 2 ::: Cell F — terms → ∞ , diverges instantly.
Mnemonic The universal LCT drill
Skeleton → Ratio → Match → Read. Build b n from the strongest powers, take L , make sure L = 0 pairs with convergent b n and L = ∞ with divergent b n , then read the verdict.
See also: Ratio Test and Integral Test for series where no clean p -series or geometric skeleton exists, and the Squeeze Theorem which powers the ε = L /2 sandwich behind LCT.
Recall Self-test
In Cell C, why can we ignore n 2 next to 3 n ? ::: Exponential growth (base > 1 ) eventually dominates any polynomial, so n 2 / 3 n → 0 .
In Cell E, why does L = ∞ still give a verdict? ::: Because ∑ b n (harmonic) diverges, and the L = ∞ rule then forces ∑ a n to diverge.
In Cell H, at the boundary p = 3 does the series converge? ::: No — b n = 1/ n is harmonic, diverges.
What breaks in Cell F trap 6a? ::: Terms tend to 1/2 = 0 , so the divergence test kills it before LCT.