CounterexampleConstruction: AI-adaptedVerification: AI-generatedprecheck 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.

Two series with $a_{k} \leq b_{k}$ for all $k$ , $\sum b_{k}$ convergent and $\sum a_{k}$ divergent, when the terms may be negative

Statement refuted

Refuted claim: if $a_{k} \leq b_{k}$ for every $k \in N$ and $\sum b_{k}$ converges, then $\sum a_{k}$ converges.

This is If $0 \leq a_{k} \leq b_{k}$ eventually, convergence of $\sum b_{k}$ gives convergence of $\sum a_{k}$ , and divergence of $\sum a_{k}$ gives divergence of $\sum b_{k}$ with its nonnegativity hypothesis deleted, and deleting it destroys the theorem. Take

$a_{k} : = - \frac{1}{k + 1}, b_{k} : = 0 (k \in N) .$

Then $a_{k} < 0 = b_{k}$ for every $k$ ; the series $\sum b_{k}$ converges, with all partial sums equal to $0$ and sum $0$ ; and $\sum a_{k}$ diverges, being $- 1$ times the harmonic series (The harmonic series $\sum 1 / k$ diverges, by condensation and by Oresme block grouping, Convergent series add and scale termwise).

What exactly fails. The proof of the comparison test bounds the partial sums of $\sum a_{k}$ above by those of $\sum b_{k}$ and then reads convergence off boundedness, and that last step is available only for a nonnegative series (A series of nonnegative terms converges iff its partial sums are bounded, and then the sum is their supremum). Here the partial sums of $\sum a_{k}$ are indeed bounded above, by $0$ ; they are unbounded below, and the theorem's conclusion fails for exactly that reason.

Facts & Assumptions

Given: The sequences $a_{k} : = - 1 / ι (k + 1)$ and $b_{k} : = 0$ for $k \in N$ (Series, partial sums, convergence and the sum, divergence, and the tail series, Canonical naturals are positive and strictly increasing).

[L1]

The canonical naturals $ι (k + 1)$ are positive, so $1 / ι (k + 1) > 0$ and $a_{k} < 0$ (Canonical naturals are positive and strictly increasing, Inverses of positives are positive, and reciprocation reverses order).

[L2]

A finite sum of zeros is zero, being the scalar multiple of any finite sum by $0$ (Laws of finite sums and finite products, Finite sums and finite products, by recursion).

[L3]

A constant sequence converges to its value (Limits and Cauchy sequences of reals).

[L4]

The harmonic series $\sum_{k \geq 1} 1 / k$ diverges, and it is the series of the sequence $j \mapsto 1 / ι (j + 1)$ (The harmonic series $\sum 1 / k$ diverges, by condensation and by Oresme block grouping, Series, partial sums, convergence and the sum, divergence, and the tail series).

[L5]

For $c \neq 0$ , $\sum c x_{k}$ converges if and only if $\sum x_{k}$ converges (Convergent series add and scale termwise).

[L6]

For a series of nonnegative terms, convergence is equivalent to boundedness above of the partial sums (A series of nonnegative terms converges iff its partial sums are bounded, and then the sum is their supremum).

[L7]

The refuted claim: $a_{k} \leq b_{k}$ for all $k$ and convergence of $\sum b_{k}$ imply convergence of $\sum a_{k}$ .

Counterexample

technique · direct

1.1

For every $k \in N$ , $a_{k} = - 1 / ι (k + 1) < 0 = b_{k}$ , so in particular $a_{k} \leq b_{k}$ .

givenL1

1.2

The partial sums of $\sum b_{k}$ are $\sum_{j < n} 0 = 0$ for every $n$ , a constant sequence, so $\sum b_{k}$ converges with sum $0$ .

givenL2L3

1.3

The sequence $(a_{k})$ is $(- 1)$ times the sequence $j \mapsto 1 / ι (j + 1)$ , whose series is the harmonic series and diverges; since $- 1 \neq 0$ , $\sum a_{k}$ diverges.

givenL4L5

2.1

So the hypotheses of the claim hold for this pair while its conclusion fails, and the claim is false.

step 1.1step 1.2step 1.3L7

3.1

The genuine comparison test is untouched: it requires $0 \leq a_{k}$ from some index on, and here $a_{k} < 0$ at every index.

step 1.1L6∎

Remarks

The witness is as degenerate as possible on purpose. Taking $b_{k} = 0$ removes every question about the dominating series and isolates the single point at issue: a series bounded above by a convergent one need not converge if it is free to run away downwards. Any negative divergent series would do; this one is the shortest to verify.
One-sided boundedness is not convergence. The partial sums here are $- \sum_{k = 1}^{n} 1 / k$ , bounded above by $0$ and unbounded below. For a nonnegative series that situation cannot arise, which is exactly the content of A series of nonnegative terms converges iff its partial sums are bounded, and then the sum is their supremum and the reason the sign hypothesis appears in every comparison statement on the main page.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

39 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

Direct comparison test (Wikipedia) (standard reference, not scraped)
John K. Hunter, An Introduction to Real Analysis (standard reference, not scraped)

Two series with ak≤bkak​≤bk​ for all kk, ∑bk∑bk​ convergent and ∑ak∑ak​ divergent, when the terms may be negative