4.3.7 · D1Calculus III — Sequences & Series

Foundations — Integral test — proof, p-series

2,515 words11 min readBack to topic

Before you can read the Integral Test note, you must own every symbol it throws at you. This page builds them in order, each from the picture it stands for. Nothing here assumes you have seen calculus notation before line one.


1. A sequence: a numbered list of numbers

The picture: imagine numbered mailboxes in a row. Box holds the number , box holds , and so on forever.

Figure — Integral test — proof, p-series
example
For the list the rule is , so .

2. The summation symbol

WHAT this says: start at , plug each slot number into , keep adding until .

equals
.

3. Partial sums — stopping early on purpose

The picture: watch the total grow as you add one more box each time. is itself a new sequence — the sequence of running totals.

Figure — Integral test — proof, p-series

4. A first mandatory check: does ?

Why is only a precondition, not a verdict?
It is necessary but not sufficient; has yet diverges, so a real test is still required.

5. Bounded above + increasing = converges (the Monotone Convergence Theorem)

If the are all positive, then adding a positive amount each step means the partial sums only ever go up — they are automatically increasing.

Figure — Integral test — proof, p-series
Why "positive terms" matters
With positive terms the totals only rise, so a ceiling forces convergence; with mixed signs totals can wobble and this reasoning breaks.

6. A function and its graph

The bridge to sequences: if we set , then our discrete boxes are just the curve's heights read off at the whole-number inputs inside that domain. The rectangles of the series sit under (or over) the smooth ramp of the function.

Figure — Integral test — proof, p-series

7. Area under a curve = the integral

Why we need a limit here
We can never "reach" infinity, so we track the area to a wall and see what number it approaches as the wall retreats forever.

8. Powers, , and the logarithm

Meaning of
— one over squared.
Why shows up
The area under from to is exactly , and , which is why diverges.

How the foundations feed the topic

The diagram below (rendered where Mermaid is available) shows the build order; if it appears as plain text, read it top-to-bottom as the same dependency chain described in §1–§8.

Sequence a_n

Series sum a_n

Partial sums S_N

Limit of S_N equals L

nth term test a_n to 0

Integral Test

Monotone convergence theorem

Function f x and its graph

Domain 1 to infinity

Positive continuous decreasing

Area under curve

Improper integral with limit

Powers and log

p-series rule


Equipment checklist

Test yourself — reveal only after answering aloud.

What does mean in plain words?
The number sitting in slot of an ordered list.
What does mean?
Add every list-term forever, starting at slot 1.
What is the partial sum ?
The finite running total , stopping at slot .
Write convergence of the series with limit notation.
converges when for some finite , and that is the sum.
State the -th term precondition every test assumes.
If converges then ; if the series diverges outright.
State the Monotone Convergence Theorem.
An increasing sequence bounded above converges, to its least upper bound (supremum).
Why does "increasing and bounded above" force convergence?
Rising totals blocked by a ceiling must pile up under their least upper bound.
On what domain must satisfy the three conditions?
— every real input from 1 rightward, forever.
Name the three conditions on and one word for why each is needed.
Positive (no cancelling), continuous (area exists), decreasing (clean rectangle comparison).
What does measure?
The exact area between the curve and the -axis from 1 to .
What does do to an integral?
Slides the right wall to infinity and reports the number the area approaches.
What does equal?
.
What question does answer?
To what power must be raised to give .

Connections

  • Integral test — proof, p-series (index 4.3.7) — the topic these foundations unlock.
  • Improper integrals — the limit-to-infinity area machine of §7.
  • Harmonic series — where the slow growth of §8 bites.
  • n-th term test for divergence — the necessary (not sufficient) precondition of §4.
  • Comparison test · Limit comparison test — sibling tests built on the same picture.
  • Riemann zeta function — names the value of once it converges.