This is a child deep-dive of Root test . Here we do not re-derive the theorem; we hunt down every possible shape a root-test problem can take and work one example for each. If you meet a series in an exam, it falls into one of the rows below.
Throughout, let a n denote the n -th term of the series ∑ a n — the number sitting in the n -th slot of the sum (for ∑ n 2 1 , the term a n is n 2 1 ). Every root-test problem is decided by the single number
L = lim n → ∞ n ∣ a n ∣ .
Here n x ("the n -th root of x ") is the number that, multiplied by itself n times, gives x . It undoes raising to the power n . That is the whole reason we use it: if a term secretly equals r n , then n r n = r pops the hidden ratio r back out. We compute L , then read the verdict: L < 1 converges, L > 1 diverges, L = 1 says nothing.
The cells below list every kind of input this machine can receive. Click the example label to jump to its full working.
Cell
Situation
What makes it distinct
Example
A
Clean ( stuff ) n , ratio < 1
root cancels power, L < 1
Ex 1
B
Exponential over polynomial, base > 1
L > 1 divergence
Ex 2
C
Polynomial over exponential
polynomial roots to 1 , base < 1 survives
Ex 3
D
L = 1 degenerate (borderline)
test is silent, must switch tools
Ex 4
E
L = 0 super-fast decay
ratio effectively 0 , converges hard
Ex 5
F
L = ∞ blow-up
terms explode, diverges
Ex 6
G
Negative / alternating terms
$
a_n
H
Word problem (bouncing / physical)
translate reality → series
Ex 8
I
Exam twist: n in the exponent's exponent
( 1 + n c ) n → e c
Ex 9
We will hit every one .
Worked example Ex 1 (Cell A) ·
n = 1 ∑ ∞ ( 5 n + 2 4 n − 1 ) n
Forecast: the whole bracket is raised to n . Guess: does the fraction inside settle below, at, or above 1 ? Jot down your guess before reading on.
Apply the root. n ∣ a n ∣ = n ( 5 n + 2 4 n − 1 ) n = 5 n + 2 4 n − 1 .
Why this step? The term is a perfect n -th power, so n ( ⋅ ) n = ( ⋅ ) — the root and the power annihilate. This is exactly the situation the root test is built for.
Take the limit. Divide top and bottom by n : 5 + 2/ n 4 − 1/ n → 5 4 .
Why this step? As n grows, 1/ n → 0 and 2/ n → 0 ; only the leading coefficients survive.
Read the verdict. L = 5 4 < 1 ⇒ converges absolutely.
Why this step? L < 1 means the terms eventually shrink faster than a convergent geometric series ∑ r n with 5 4 < r < 1 .
Verify: plug n = 100 : 502 399 = 0.7948 ≈ 0.8 . Trend confirms L = 0.8 < 1 . ✓
Worked example Ex 2 (Cell B) ·
n = 1 ∑ ∞ n 4 5 n
Forecast: top grows like 5 n , bottom like n 4 . Which wins? Guess convergence or divergence.
Root each factor. n n 4 5 n = n n 4 n 5 n = ( n n ) 4 5 .
Why this step? n 5 n = 5 exactly, and n n 4 = ( n 1/ n ) 4 — we root the base and the polynomial separately.
Use the standard limit n n → 1 : so ( n n ) 4 → 1 4 = 1 , giving L = 1 5 = 5 .
Why this step? n 1/ n = e l n n / n and n l n n → 0 , so n 1/ n → e 0 = 1 . Polynomial factors always root to 1 ; only the true exponential base 5 survives.
Verdict. L = 5 > 1 ⇒ diverges.
Verify: a n = 5 n / n 4 ; check terms grow: a 5 = 3125/625 = 5 , a 10 = 5 10 /1 0 4 ≈ 976562 . Terms explode, so a n → 0 — divergence confirmed. ✓
Worked example Ex 3 (Cell C) ·
n = 1 ∑ ∞ 4 n n 3 + 2 n
Forecast: exponential is on the bottom now. Guess the outcome.
Split the root. n 4 n n 3 + 2 n = 4 n n 3 + 2 n .
Why this step? n 4 n = 4 ; the base 4 escapes the root untouched.
Root the polynomial. For large n , n 3 + 2 n ≈ n 3 , so n n 3 + 2 n → n n 3 = ( n n ) 3 → 1.
Why this step? The + 2 n is negligible against n 3 ; and any polynomial roots to 1 as in Ex 2. So the numerator's root → 1 .
Verdict. L = 4 1 < 1 ⇒ converges.
Verify: 4 1 = 0.25 < 1 . Sanity: a 10 = ( 1000 + 20 ) / 4 10 ≈ 9.7 × 1 0 − 4 , already tiny and shrinking. ✓
Worked example Ex 4 (Cell D) ·
n = 1 ∑ ∞ n ( ln n ) 2 1 (start at n = 2 )
Forecast: no obvious n -th power here. Guess whether the root test will even decide this.
Compute the root. n n ( ln n ) 2 1 = n 1/ n ( ln n ) 2/ n 1 .
Why this step? Root each factor: n n = n 1/ n and n ( ln n ) 2 = ( ln n ) 2/ n .
Both roots → 1 . n 1/ n → 1 ; and ( ln n ) 2/ n = e n 2 l n ( l n n ) → e 0 = 1 since n l n ( l n n ) → 0 .
Why this step? Anything that grows slower than an exponential in n roots to 1 . Both factors qualify.
Verdict. L = 1 ⇒ inconclusive — the root test cannot decide.
Why this step? L = 1 is the blind spot: it can't distinguish convergent from divergent tails.
Switch tools. The Comparison test with the integral ∫ 2 ∞ x ( l n x ) 2 d x = [ − l n x 1 ] 2 ∞ = l n 2 1 (finite) shows the series converges .
Verify: the antiderivative check: d x d ( − l n x 1 ) = x ( l n x ) 2 1 . ✓ And L = 1 exactly at the boundary. ✓
Worked example Ex 5 (Cell E) ·
n = 1 ∑ ∞ n n 1
Forecast: the exponent is n itself. Guess how small L gets.
Root it. n n n 1 = ( n n ) 1/ n 1 = n 1 .
Why this step? ( n n ) 1/ n = n n / n = n 1 = n . The root exposes an honest n 1 inside.
Limit. n 1 → 0 , so L = 0 .
Why this step? Here the effective geometric ratio isn't just below 1 — it collapses to 0 , so terms vanish faster than any fixed r n .
Verdict. L = 0 < 1 ⇒ converges (very strongly).
Verify: a 1 = 1 , a 2 = 4 1 , a 3 = 27 1 , a 4 = 256 1 — plummeting. Partial sum already ≈ 1.29 and barely moving. ✓
Worked example Ex 6 (Cell F) ·
n = 1 ∑ ∞ n n
Forecast: the mirror image of Ex 5. What does L do?
Root it. n ∣ n n ∣ = ( n n ) 1/ n = n .
Why this step? Same algebra as Ex 5 but with the term itself, not its reciprocal.
Limit. n → ∞ , so L = ∞ .
Verdict. L = ∞ > 1 ⇒ diverges.
Why this step? The n-th term divergence test already screams: n n → ∞ = 0 , so no chance of convergence.
Verify: a 1 = 1 , a 2 = 4 , a 3 = 27 , a 4 = 256 — exploding, a n → 0 . ✓
Worked example Ex 7 (Cell G) ·
n = 1 ∑ ∞ ( − 1 ) n ( 2 n + 1 n ) n
Forecast: the sign flips each term. Does the root test care?
Take absolute value first. The root test uses ∣ a n ∣ , and ∣ ( − 1 ) n ∣ = 1 , so ∣ a n ∣ = ( 2 n + 1 n ) n .
Why this step? n ∣ a n ∣ only sees magnitudes — the alternating sign is erased. This is why the root test proves absolute convergence directly.
Root and limit. n ∣ a n ∣ = 2 n + 1 n = 2 + 1/ n 1 → 2 1 .
Why this step? Perfect n -th power again; divide by n inside.
Verdict. L = 2 1 < 1 ⇒ converges absolutely (hence converges).
Verify: n = 99 : 199 99 = 0.4975 ≈ 0.5 . ✓ Sign never affected the root. ✓
Worked example Ex 8 (Cell H) · A bouncing signal
A radar pulse loses power each hop. On hop n it carries energy E n = ( 4 3 ) n n 2 joules. Does the total energy over all hops converge to a finite amount?
Forecast: the 4 3 shrinks it, but n 2 pushes back. Who wins?
Model as a series. Total energy = ∑ n = 1 ∞ E n = ∑ n 2 ( 4 3 ) n .
Why this step? "Total over all hops" is literally the infinite sum of the per-hop energies.
Root each factor. n n 2 ( 4 3 ) n = ( n n ) 2 ⋅ 4 3 → 1 ⋅ 4 3 = 4 3 .
Why this step? Polynomial n 2 roots to 1 (Ex 2 logic); the geometric base 4 3 survives.
Verdict. L = 4 3 < 1 ⇒ converges : the total energy is finite. The physical geometric decay 4 3 < 1 beats the polynomial growth.
Verify (units + numerics): E n in joules; sum of joules is joules — dimensionally sound. Terms: E 1 = 0.75 , E 10 ≈ 5.6 , E 30 ≈ 0.16 , E 50 ≈ 0.001 — peak then decay to 0 , total finite. ✓
The figure below makes this competition visible: the cyan bars are the per-hop energies E n (they rise to an early peak, then die away), while the amber curve is the running total — watch it flatten to a finite plateau, which is exactly what L = 4 3 < 1 guarantees.
Worked example Ex 9 (Cell I) ·
n = 1 ∑ ∞ ( 1 + n 3 ) n 2 1
Forecast: the outer power is n 2 , not n . This is the classic trap. Guess.
Root it — the n 2 becomes n . n ( 1 + n 3 ) n 2 1 = ( 1 + n 3 ) n 2 / n 1 = ( 1 + n 3 ) n 1 .
Why this step? The root divides the exponent by n : n 2 / n = n . That leaves the famous limit shape ( 1 + n c ) n .
Use ( 1 + n c ) n → e c with c = 3 : the denominator → e 3 , so L = e 3 1 = e − 3 .
Why this step? This is the definition of the exponential e : ( 1 + n c ) n → e c . We invoke e here because raising ( 1 + small ) to a large power is exactly what e measures.
Verdict. L = e − 3 ≈ 0.0498 < 1 ⇒ converges.
Verify: e − 3 ≈ 0.0498 < 1 . Numeric check at n = 1000 : ( 1 + 3/1000 ) 1000 ≈ e 3 ≈ 20.09 , root ≈ 1/20.09 ≈ 0.0498 . ✓
Recall Test yourself on the matrix
Which cell: ∑ ( n / ( 3 n + 1 ) ) n ? ::: Cell A — clean power, L = 1/3 < 1 , converges.
Which cell: ∑ 7 n / n 10 ? ::: Cell B — exponential over polynomial, L = 7 > 1 , diverges.
Which cell: ∑ 1/ n p (any p )? ::: Cell D — L = 1 , inconclusive; use p-series .
Which cell: ∑ 1/ ( 2 n ) n ? ::: Cell E — L = 0 , converges hard.
Does an alternating sign change L ? ::: No — root test uses ∣ a n ∣ , so the sign is erased (Cell G).
Mnemonic One-line recap of the whole matrix
Root the term, kill polynomials to 1 , keep the real base as r , and read L against 1 . Powers of n in the exponent divide out; ( 1 + c / n ) n becomes e c .
Root test — parent theorem this page drills.
Geometric series — the r n yardstick every L compares against.
Ratio test — try it on Ex 9 and feel the pain; root wins on n -th powers.
Comparison test — the rescue tool in the L = 1 Cell D.
n-th term divergence test — the fast kill in Cells B and F.
p-series — the canonical L = 1 specimens.