CorollaryStatement: AI-adaptedProof: 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.

Raabe is Kummer with $ζ_{k} = k + 1$ : for positive terms, $lim inf (k + 1) (a_{k} / a_{k + 1} - 1) > 1$ gives convergence and $lim sup < 1$ gives divergence

Statement

Let $(a_{k})$ be a sequence of reals with $a_{k} > 0$ for every $k \in N$ . Write $k + 1$ for the canonical natural $ι (k + 1) \in R$ , which is positive (Canonical naturals are positive and strictly increasing), take the weights $ζ_{k} : = k + 1$ in Kummer: for positive terms $a_{k}$ and weights $ζ_{k} > 0$ , $lim inf (ζ_{k} a_{k} / a_{k + 1} - ζ_{k + 1}) > 0$ gives convergence, and if $\sum 1 / ζ_{k}$ diverges while that expression is eventually $\leq 0$ the series diverges, and put

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

so that Kummer's expression for these weights is $K_{k} = R_{k} - 1$ . Then:

if ${lim inf}_{k} R_{k} > 1$ then $\sum a_{k}$ converges;
if ${lim sup}_{k} R_{k} < 1$ then $\sum a_{k}$ diverges.

The weights are $k + 1$ rather than $k$ because $ζ_{0}$ has to be positive and $N$ contains $0$ ; the classical statement, indexed from $1$ , is the same criterion read along the shift $k = j + 1$ .

Nothing is claimed when ${lim inf}_{k} R_{k} \leq 1 \leq {lim sup}_{k} R_{k}$ . The Gauss test proved next is exactly the tool for the borderline case $R_{k} \to 1$ , where Raabe's test is silent.

Facts & Assumptions

Given: A sequence $(a_{k})$ of reals with $a_{k} > 0$ for every $k$ ; the weights $ζ_{k} = ι (k + 1)$ ; and $R_{k} = (k + 1) (a_{k} / a_{k + 1} - 1)$ (Limit superior and limit inferior of a real sequence as $\inf_{n} \sup_{k \geq n} x_{k}$ and $\sup_{n} \inf_{k \geq n} x_{k}$ in $\overline{R}$ , Canonical naturals are positive and strictly increasing).

[L1]

Every subset of $\overline{R}$ has a least upper bound and a greatest lower bound there, and ${lim sup}_{k} x_{k} = \inf {s_{n}}$ , ${lim inf}_{k} x_{k} = \sup {i_{n}}$ for the tail bounds $s_{n}, i_{n}$ , both existing for every sequence (Every subset of $\overline{R}$ has a least upper bound and a greatest lower bound in $\overline{R}$ , agreeing with the real supremum and infimum on nonempty sets bounded in $R$ , The extended real line $\overline{R} = R \cup {- \infty, + \infty}$ , its order, and the arithmetic that is left undefined, Limit superior and limit inferior of a real sequence as $\inf_{n} \sup_{k \geq n} x_{k}$ and $\sup_{n} \inf_{k \geq n} x_{k}$ in $\overline{R}$ , The tail suprema of any real sequence are nonincreasing in $\overline{R}$ , so the limit superior exists for every sequence).

[L2]

Kummer's test in both halves, for positive terms and positive weights (Kummer: for positive terms $a_{k}$ and weights $ζ_{k} > 0$ , $lim inf (ζ_{k} a_{k} / a_{k + 1} - ζ_{k + 1}) > 0$ gives convergence, and if $\sum 1 / ζ_{k}$ diverges while that expression is eventually $\leq 0$ the series diverges).

[L3]

$\sum_{k \geq 1} 1 / k^{p}$ converges if and only if $p > 1$ ; at $p = 1$ it therefore diverges (For rational $p > 0$ , $\sum 1 / k^{p}$ converges iff $p > 1$ ). Moreover $k^{1} = ι (k)$ , the rational power at exponent $1$ being the element itself (Rational powers $a^{r}$ of a positive base, Existence and uniqueness of $n$ -th roots: a unique $a^{1 / n} \geq 0$ with $(a^{1 / n})^{n} = a$ , Integer powers $a^{m}$ ).

[L4]

The canonical naturals $ι (k + 1)$ are positive, and $ι (k + 2) = ι (k + 1) + 1$ (Canonical naturals are positive and strictly increasing).

[L5]

The series $\sum_{k \geq 1} x_{k}$ from the starting index $1$ is by definition the series of the sequence $j \mapsto x_{j + 1}$ (Series, partial sums, convergence and the sum, divergence, and the tail series).

Proof

technique · direct

1.1

The weights $ζ_{k} = ι (k + 1)$ are positive for every $k \in N$ , and the terms $a_{k}$ are positive, so Kummer's test applies with these data.

givenL4L2

1.2

Suppose ${lim inf}_{k} R_{k} > 1$ . The real $1$ is not an upper bound of the set of tail infima of $(R_{k})$ , so there is $N$ with $i_{N} > 1$ , and $i_{N}$ is real because $i_{N} \leq R_{N}$ .

givenL1choose

1.3

Suppose instead ${lim sup}_{k} R_{k} < 1$ . The real $1$ is not a lower bound of the set of tail suprema of $(R_{k})$ , so there is $N$ with $s_{N} < 1$ , and then $R_{k} \leq s_{N} < 1$ for every $k \geq N$ .

givenL1choose

2.1

Kummer's expression for these weights is $K_{k} = (k + 1) \frac{a_{k}}{a_{k + 1}} - (k + 2) = (k + 1) (\frac{a_{k}}{a_{k + 1}} - 1) - 1 = R_{k} - 1$ .

step 1.1L4algebra

2.2

The weight series is $\sum_{k} 1 / ζ_{k} = \sum_{k} 1 / ι (k + 1)$ , which is precisely the series $\sum_{k \geq 1} 1 / k$ from the starting index $1$ , and that is the case $p = 1$ of the $p$ -series, hence divergent.

step 1.1L3L5

3.1

Put $c : = i_{N} - 1 > 0$ . For every $k \geq N$ we have $R_{k} \geq i_{N}$ , hence $K_{k} = R_{k} - 1 \geq i_{N} - 1 = c$ .

step 1.2step 2.1L1algebra

3.2

Hence $K_{k} = R_{k} - 1 < 0$ , in particular $K_{k} \leq 0$ , for every $k \geq N$ .

step 1.3step 2.1algebra

4.1

So $c$ is a lower bound of ${K_{k} : k \geq N}$ , whence ${lim inf}_{k} K_{k} \geq c > 0$ , and Kummer's convergence criterion gives convergence of $\sum a_{k}$ , which is claim 1.

step 3.1step 1.1L1L2

5.1

Together with the divergence of the weight series, Kummer's divergence criterion gives divergence of $\sum a_{k}$ , which is claim 2.

step 3.2step 2.2step 1.1L2∎

Remarks

Raabe's test is a genuine strengthening of the ratio test. Whenever the ratios $a_{k + 1} / a_{k}$ converge to $1$ the ratio test is silent, while $R_{k}$ may still be bounded away from $1$ on either side; the companion page carries a series with ratio limit exactly $1$ that Raabe decides. The reason is visible in the weights: the divergent comparison series behind the test has moved from $\sum 1$ to the harmonic series, which diverges far more slowly.
The threshold is $1$ and not $0$ , and step 2.1 says why. Kummer's criterion is a statement about $K_{k} = R_{k} - 1$ ; the shift by $1$ between the two expressions is the whole difference between the two thresholds, and it comes from $ζ_{k + 1} - ζ_{k} = 1$ for these weights.

Depends on

Used by

Dependency tree · two levels

63 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

Raabe's test (Wikipedia) (standard reference, not scraped)
K. Knopp, Theory and Application of Infinite Series, Ch. IX (standard reference, not scraped)
Thomson, Bruckner, and Bruckner, Elementary Real Analysis (standard reference, not scraped)
Binghamton University notes on Kummer, Raabe, and Gauss tests (standard reference, not scraped)

Raabe is Kummer with ζk=k+1ζk​=k+1: for positive terms, lim inf⁡ (k+1)(ak/ak+1−1)>1liminf(k+1)(ak​/ak+1​−1)>1 gives convergence and lim sup⁡<1limsup<1 gives divergence