Limit comparison test: Foundations — Maths deep dive

This page assumes you have seen none of the notation in the parent note. We build every piece — one symbol at a time — and each one earns its place before we use it. By the end you will be able to read the parent's definition line and feel what every character means.

1. The counter $n$ — "which term am I looking at?"

The letter $n$ is just a counting label. It runs $1, 2, 3, 4, \dots$ and never stops. Think of an infinitely long row of numbered boxes; $n$ points at box number $n$ .

Everything in this topic is about what happens far down the row, not near the start. Hold that thought — it comes back constantly.

2. The term $a_{n}$ — "the number in box $n$ "

Once $n$ tells us which box, $a_{n}$ is the number sitting inside that box. The little $n$ written low and small is a subscript — it is not multiplication, it is an address.

Look at the figure: the top row is the address $n$ , the amber dots below are the values $a_{n}$ . In this topic we always demand $a_{n} > 0$ — every dot sits above the baseline. That positivity is not decoration; Section 8 shows exactly where the proof breaks without it.

3. The sum $\sum a_{n}$ — "add every box forever"

The stretched letter $\sum$ is a capital Greek sigma, and it means "add them all up."

$\sum_{n = 1}^{\infty} a_{n} = a_{1} + a_{2} + a_{3} + a_{4} + \dots$

An endless sum sounds like it must be infinite — but it need not be. That surprise is the whole subject.

4. Partial sums $S_{N}$ — "the running total so far"

We can't literally add infinitely many things at once, so we watch the total build up. Add the first $N$ boxes only:

$S_{N} = a_{1} + a_{2} + \dots + a_{N} = \sum_{n = 1}^{N} a_{n} .$

In the figure, the amber staircase is $S_{N}$ climbing as $N$ increases. Two things can happen, and only two:

The staircase levels off toward a ceiling (a finite height) — the series converges.
The staircase keeps climbing without any ceiling — the series diverges.

5. The limit $N \to \infty lim$ — "where is it headed?"

To say "levels off toward a ceiling" precisely we need the idea of a limit.

Why do we bother with limits at all? Because "the total of infinitely many things" has no direct meaning — the only honest way to define it is "the number the partial sums approach." The limit is the tool that turns an impossible infinite addition into a finite question.

6. The ratio $\frac{a _{n}}{b _{n}}$ — "how do two sequences compare, term by term?"

Now bring in a second list $b_{n}$ (a comparison sequence, also all positive). Line the two boxes up and divide:

$\frac{a _{n}}{b _{n}} .$

The figure overlays two decaying sequences (cyan $a_{n}$ , white $b_{n}$ ) and, below, their ratio settling toward a flat line. That flat line is the number the whole test is built around.

7. The comparison limit $L$ — "the same-speed number"

Feed that ratio into the limit machine of Section 5:

$L = lim_{n \to \infty} \frac{a _{n}}{b _{n}} .$

Three verdicts (the parent note's three cases) fall straight out of what the ratio can settle on:

What $L$ is	Meaning in plain words	Verdict style
$0 < L < \infty$ (finite, positive)	$a_{n}$ and $b_{n}$ shrink at the same rate	shared fate: both converge or both diverge
$L = 0$	$a_{n}$ shrinks strictly faster	$a_{n}$ can only be "safer" than $b_{n}$
$L = \infty$	$a_{n}$ shrinks strictly slower	$a_{n}$ can only be "riskier" than $b_{n}$

8. Why $a_{n} > 0$ is mandatory — "keep the ruler straight"

The proof multiplies an inequality by $b_{n}$ . Multiplying an inequality by a positive number keeps the direction ( $3 < 5 \Rightarrow 6 < 10$ ); multiplying by a negative number flips it ( $3 < 5$ but $- 3 > - 5$ ). If terms could be negative, the whole chain of reasoning would collapse.

9. The known yardsticks — "series whose fate we already know"

The test is only useful because we keep two families of known-answer series to compare against.

A p-Series $\sum 1/ n^{p}$ : the exponent $p$ is a dial. Bigger $p$ ⇒ terms shrink faster ⇒ more likely to converge. The knife-edge is $p = 1$ , the Harmonic Series $\sum 1/ n$ , which just barely diverges.
A Geometric Series $\sum r^{n}$ : each term is a fixed multiple $r$ of the one before. If $∣ r ∣ < 1$ terms shrink geometrically and the sum settles.

These are the $b_{n}$ you reach for. The recipe "keep the strongest power, ditch the rest" (parent note) is really "reshape your mystery term until it looks like one of these two yardsticks."

10. The tool this test replaces — Direct Comparison

The engine hidden inside the proof is the Direct Comparison Test: if $0 < a_{n} \leq b_{n}$ and $\sum b_{n}$ converges, so does $\sum a_{n}$ (a smaller positive pile can't out-grow a finite one); and if $a_{n} \geq b_{n} \geq 0$ with $\sum b_{n}$ divergent, so is $\sum a_{n}$ .

Related sharper tools you'll meet nearby (for context, not needed here): the Ratio Test and the Integral Test.

Prerequisite map

Every arrow says "you need the left idea before the right idea makes sense." The three streams — what convergence means, what a ratio limit measures, and which reference series to trust — all pour into the Limit Comparison Test at the bottom.

Continue to the parent: Limit Comparison Test (main note) → · or read it 🇮🇳 in Hinglish.

Equipment checklist

Cover the right side and answer out loud; reveal to check.

What does the subscript in

a_{n}

mean — multiplication or an address?

An address: it names which term, box number

n

; no multiplication involved.

In words, what does

\sum_{n = 1}^{\infty} a_{n}

instruct you to do?

Start at box 1 and keep adding term after term with no last box — an endless sum.

What is the partial sum

S_{N}

The total after adding only the first

N

terms,

a_{1} + \dots + a_{N}

A series converges exactly when what happens to

S_{N}

The running totals

S_{N}

approach a single finite number (a ceiling) as

N \to \infty

What does the ratio

a_{n} / b_{n}

measure that raw sizes hide?

Relative size — how big

a_{n}

is compared to

b_{n}

, ignoring their absolute magnitudes.

L = lim a_{n} / b_{n}

is finite and positive, what does that say about their shrink rates?

They shrink at the same rate, so the two series share the same fate.

Why must

a_{n}

and

b_{n}

be positive for the proof?

Because the proof multiplies an inequality by

b_{n}

; only a positive multiplier keeps the inequality's direction.

For which

p

does

\sum 1/ n^{p}

converge?

Exactly when

p > 1

For which

r

does

\sum r^{n}

converge?

Exactly when

∣ r ∣ < 1

Which older test is the hidden engine inside the Limit Comparison Test's proof?

The Direct Comparison Test.