TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (z-ai/glm-5.2)audited 2026-07-27

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Abel's test: if $\sum a_{k}$ converges and $(b_{k})$ is monotone and bounded then $\sum a_{k} b_{k}$ converges

Statement

Let $(a_{k})$ and $(b_{k})$ be sequences of reals. If $\sum a_{k}$ converges (Series, partial sums, convergence and the sum, divergence, and the tail series) and $(b_{k})$ is monotone (Nondecreasing, increasing, nonincreasing, decreasing, monotone, and eventually monotone sequences) and bounded, then $\sum a_{k} b_{k}$ converges, and its sum is

$\sum_{k = 0}^{\infty} a_{k} b_{k} = (\sum_{k = 0}^{\infty} a_{k} (b_{k} - b)) + b \sum_{k = 0}^{\infty} a_{k}, b : = \lim_{k} b_{k},$

the limit $b$ existing because a monotone bounded sequence converges (A monotone sequence converges if and only if it is bounded).

Compared with Dirichlet's test: if the partial sums of $\sum a_{k}$ are bounded and $(b_{k})$ is nonincreasing with $b_{k} \to 0$ , then $\sum a_{k} b_{k}$ converges the hypotheses trade places: there $\sum a_{k}$ need only have bounded partial sums while $(b_{k})$ must tend to $0$ ; here $\sum a_{k}$ must converge while $(b_{k})$ need only be monotone with some limit. Neither test implies the other.

Facts & Assumptions

Given: Sequences $(a_{k})$ and $(b_{k})$ of reals with $\sum a_{k}$ convergent and $(b_{k})$ monotone and bounded, and the partial sums $A_{n} = \sum_{k < n} a_{k}$ (Series, partial sums, convergence and the sum, divergence, and the tail series).

[L1]

A monotone sequence of reals converges if and only if it is bounded (A monotone sequence converges if and only if it is bounded).

[L2]

Monotone means nondecreasing or nonincreasing, and these are the only two possibilities (Nondecreasing, increasing, nonincreasing, decreasing, monotone, and eventually monotone sequences).

[L3]

A convergent sequence of reals is bounded (Every convergent sequence is bounded).

[L4]

Dirichlet's test: if the partial sums of $\sum x_{k}$ are bounded and $(y_{k})$ is nonincreasing with $y_{k} \to 0$ , then $\sum x_{k} y_{k}$ converges (Dirichlet's test: if the partial sums of $\sum a_{k}$ are bounded and $(b_{k})$ is nonincreasing with $b_{k} \to 0$ , then $\sum a_{k} b_{k}$ converges).

[L5]

Linearity of series: if $\sum x_{k}$ and $\sum y_{k}$ converge then $\sum (x_{k} + y_{k})$ converges to the sum of the sums, and $\sum c x_{k}$ converges to $c$ times the sum (Convergent series add and scale termwise).

[L6]

Algebra of limits: a convergent sequence minus a constant converges to the limit minus that constant, and multiplying a convergent sequence by $- 1$ negates the limit (Algebra of limits: sums, scalar multiples, products and quotients, Limits and Cauchy sequences of reals).

Proof

technique · cases

1.1

Assume $(b_{k})$ is nonincreasing.

assume-case noninc

1.2

Assume instead $(b_{k})$ is nondecreasing.

assume-case nondec

1.3

In either case $(b_{k})$ is monotone and bounded, so it converges; write $b$ for its limit and put $c_{k} : = b_{k} - b$ , a sequence converging to $0$ .

givenL1L6

1.4

The series $\sum a_{k}$ converges, so its partial sums $A_{n}$ form a convergent sequence and are therefore bounded.

givenL3

2.1

In the case where $(b_{k})$ is nonincreasing, $(c_{k})$ is nonincreasing as well, since it differs from $(b_{k})$ by the constant $b$ .

step 1.1step 1.3L2

2.2

In the case where $(b_{k})$ is nondecreasing, $(- c_{k})$ is nonincreasing and converges to $0$ .

step 1.2step 1.3L2L6

3.1

In the nonincreasing case, $(A_{n})$ is bounded and $(c_{k})$ is nonincreasing with limit $0$ , so $\sum a_{k} c_{k}$ converges by Dirichlet's test.

step 1.4step 2.1L4

3.2

In the nondecreasing case, $(A_{n})$ is bounded and $(- c_{k})$ is nonincreasing with limit $0$ , so $\sum a_{k} (- c_{k})$ converges by Dirichlet's test; multiplying by the constant $- 1$ , $\sum a_{k} c_{k}$ converges.

step 1.4step 2.2L4L5

4.1

So in both cases $\sum a_{k} c_{k}$ converges; and $\sum b a_{k}$ converges, being a constant multiple of the convergent $\sum a_{k}$ .

step 3.1step 3.2L5

5.1

Since $a_{k} b_{k} = a_{k} c_{k} + b a_{k}$ for every $k$ , the series $\sum a_{k} b_{k}$ converges, with sum $\sum_{k = 0}^{\infty} a_{k} c_{k} + b \sum_{k = 0}^{\infty} a_{k}$ , which is the displayed formula.

step 1.3step 4.1L5

6.1

A monotone sequence is nonincreasing or nondecreasing and there is no third possibility, so the two cases cover every hypothesis of the theorem.

step 5.1L2cases-exhaustive∎

Remarks

Both monotonicity directions have to be handled, and only one of them is Dirichlet's hypothesis. Dirichlet's test: if the partial sums of $\sum a_{k}$ are bounded and $(b_{k})$ is nonincreasing with $b_{k} \to 0$ , then $\sum a_{k} b_{k}$ converges requires a nonincreasing factor tending to $0$ . For a nondecreasing bounded $(b_{k})$ the shifted sequence $b_{k} - b$ is nondecreasing and nonpositive, so it is $b - b_{k}$ that Dirichlet's test accepts, and the sign is absorbed afterwards by linearity. Dirichlet's test could equally have been stated with "monotone" in place of "nonincreasing", since the two forms are equivalent for a factor tending to $0$ (Dirichlet's test: if the partial sums of $\sum a_{k}$ are bounded and $(b_{k})$ is nonincreasing with $b_{k} \to 0$ , then $\sum a_{k} b_{k}$ converges, remarks); the proof below takes the nonincreasing form as given and does the sign bookkeeping explicitly, which is why both directions appear.
Boundedness of $(b_{k})$ is used twice. Once through A monotone sequence converges if and only if it is bounded to produce the limit $b$ , and then implicitly in the decomposition $b_{k} = (b_{k} - b) + b$ , which would name nothing if the limit did not exist. Monotone and unbounded is one of the two cases the theorem excludes; the other is bounded and not monotone, and it is that one the companion counterexample to Abel's test on the examples page settles, by showing that dropping monotonicity alone already destroys the conclusion.
The hypothesis on $\sum a_{k}$ cannot be weakened to bounded partial sums. With $a_{k} = (- 1)^{k}$ and $b_{k} = 1$ the partial sums of $\sum a_{k}$ are bounded and $(b_{k})$ is monotone and bounded, yet $\sum a_{k} b_{k} = \sum (- 1)^{k}$ diverges. What Dirichlet's test adds in that situation is the hypothesis $b_{k} \to 0$ , which fails here.

Depends on

Used by

Dependency tree · two levels

42 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Abel's test (Wikipedia) (standard reference, not scraped)
W. Rudin, Principles of Mathematical Analysis, 3rd ed., Ch. 3 (standard reference, not scraped)
Thomson, Bruckner, and Bruckner, Elementary Real Analysis (standard reference, not scraped)

Abel's test: if ∑ak∑ak​ converges and (bk)(bk​) is monotone and bounded then ∑akbk∑ak​bk​ converges