View source for Ratio test

{{Short description|Criterion for the convergence of a series}}
{{Calculus|Series}}

In [[mathematics]], the '''ratio test''' is a [[convergence tests|test]] (or "criterion") for the [[convergent series|convergence]] of a [[series (mathematics)|series]]

:<math>\sum_{n=1}^\infty a_n,</math>

where each term is a [[real number|real]] or [[complex number]] and {{mvar|a<sub>n</sub>}} is nonzero when {{mvar|n}} is large. The test was first published by [[Jean le Rond d'Alembert]] and is sometimes known as '''d'Alembert's ratio test '''or as the '''Cauchy ratio test'''.<ref name=":0">{{mathworld|title=Ratio Test|urlname=RatioTest}}</ref>

== The test ==
[[File:Decision diagram for the ratio test.svg|thumb|Decision diagram for the ratio test]]
The usual form of the test makes use of the [[limit (mathematics)|limit]]
{{NumBlk|:|<math>L = \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|.</math>|{{EquationRef|1}}}}
The ratio test states that:
* if ''L'' < 1 then the series [[absolute convergence|converges absolutely]]; 
* if ''L'' > 1 then the series [[divergent series|diverges]];
* if ''L'' = 1 or the limit fails to exist, then the test is inconclusive, because there exist both convergent and divergent series that satisfy this case.

It is possible to make the ratio test applicable to certain cases where the limit ''L'' fails to exist, if [[limit superior]] and [[limit inferior]] are used. The test criteria can also be refined so that the test is sometimes conclusive even when ''L'' = 1. More specifically, let

:<math>R = \lim\sup \left|\frac{a_{n+1}}{a_n}\right|</math>
:<math>r = \lim\inf \left|\frac{a_{n+1}}{a_n}\right|</math>.

Then the ratio test states that:<ref>{{harvnb|Rudin|1976|loc=§3.34}}</ref><ref>{{harvnb|Apostol|1974|loc=§8.14}}</ref>
* if ''R'' < 1, the series converges absolutely;
* if ''r'' > 1, the series diverges; or equivalently if <math>\left|\frac{a_{n+1}}{a_n}\right|> 1</math> for all large ''n'' (regardless of the value of ''r''), the series also diverges; this is because <math>|a_n|</math> is nonzero and increasing and hence {{mvar|a<sub>n</sub>}} does not approach zero;
* the test is otherwise inconclusive.

If the limit ''L'' in ({{EquationNote|1}}) exists, we must have ''L'' = ''R'' = ''r''. So the original ratio test is a weaker version of the refined one.

== Examples ==
=== Convergent because ''L'' < 1 ===
Consider the series

:<math>\sum_{n=1}^\infty\frac{n}{e^n}</math>

Applying the ratio test, one computes the limit

:<math>L = \lim_{n\to\infty} \left| \frac{a_{n+1}}{a_n} \right| = \lim_{n\to\infty} \left| \frac{\frac{n+1}{e^{n+1}}}{\frac{n}{e^n}}\right| = \frac{1}{e} < 1.</math>

Since this limit is less than 1, the series converges.

=== Divergent because ''L'' > 1 ===
Consider the series

:<math>\sum_{n=1}^\infty\frac{e^n}{n}.</math>

Putting this into the ratio test:

:<math>L = \lim_{n\to\infty} \left| \frac{a_{n+1}}{a_n} \right| = \lim_{n\to\infty} \left| \frac{\frac{e^{n+1}}{n+1}}{\frac{e^n}{n}} \right|
= e > 1.</math>

Thus the series diverges.

=== Inconclusive because ''L'' = 1 ===
Consider the three series

:<math>\sum_{n=1}^\infty 1,</math>
:<math>\sum_{n=1}^\infty \frac{1}{n^2},</math>
:<math>\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}.</math>

The first series ([[1 + 1 + 1 + 1 + ⋯]]) diverges, the second (the one central to the [[Basel problem]]) converges absolutely and the third (the [[alternating harmonic series]]) converges conditionally. However, the term-by-term magnitude ratios <math>\left|\frac{a_{n+1}}{a_n}\right|</math> of the three series are <math>1,</math> &nbsp;&nbsp;<math>\frac{n^2}{(n+1)^2}</math> &nbsp;&nbsp; and &nbsp;&nbsp;<math>\frac{n}{n+1}</math>. So, in all three, the limit <math>\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|</math> is equal to 1. This illustrates that when ''L'' = 1, the series may converge or diverge: the ratio test is inconclusive.  In such cases, more refined tests are required to determine convergence or divergence.

== Proof ==
[[File:Ratio test proof.svg|thumb|300px|In this example, the ratio of adjacent terms in the blue sequence converges to L=1/2. We choose ''r''&nbsp;= (L+1)/2&nbsp;= 3/4. Then the blue sequence is dominated by the red sequence {{mvar|r<sup>k</sup>}} for all ''n'' ≥ 2. The red sequence converges, so the blue sequence does as well.]]
Below is a proof of the validity of the generalized ratio test.

Suppose that <math>r=\liminf_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|>1</math>. We also suppose that <math>(a_n)</math> has infinite non-zero members, otherwise the series is just a finite sum hence it converges. Then there exists some <math>\ell\in(1;r)</math> such that there exists a natural number <math>n_0\ge2</math> satisfying <math>a_{n_0}\ne0</math> and <math>\left|\frac{a_{n+1}}{a_n}\right|>\ell</math> for all <math>n\ge n_0</math>, because if no such <math>\ell</math> exists then there exists arbitrarily large <math>n</math> satisfying <math>\left|\frac{a_{n+1}}{a_n}\right|<\ell</math> for every <math>\ell\in(1;r)</math>, then we can find a subsequence <math>\left(a_{n_k}\right)_{k=1}^\infty</math> satisfying <math>\limsup_{n\to\infty}\left|\frac{a_{n_k+1}}{a_{n_k}} \right|\le\ell<r</math>, but this contradicts the fact that <math>r</math> is the [[limit inferior]] of <math>\left|\frac{a_{n+1}}{a_n}\right|</math> as <math>n\to\infty</math>, implying the existence of <math>\ell</math>. Then we notice that for <math>n\ge n_0+1</math>, <math>|a_n|> \ell|a_{n-1}|>\ell^2|a_{n-2}|>...>\ell^{n-n_0}\left|a_{n_0}\right|</math>. Notice that <math>\ell>1</math> so <math>\ell^n\to\infty</math> as <math>n\to\infty</math> and <math>\left|a_{n_0}\right|>0</math>, this implies <math>(a_n)</math> diverges so the series <math>\sum_{n=1}^\infty a_n</math> diverges by the [[n-th term test]].<br>
Now suppose <math>R=\limsup_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|<1</math>. Similar to the above case, we may find a natural number <math>n_1</math> and a <math>c\in(R;1)</math> such that <math>|a_n|\le c^{n-n_1}\left|a_{n_1}\right|</math> for <math>n\ge n_1</math>. Then
<math display="block">\sum_{n=1}^\infty |a_n|=\sum_{k=1}^{n_1-1}|a_k|+\sum_{n=n_1}^\infty |a_n|\le\sum_{k=1}^{n_1-1}|a_k|+\sum_{n=n_1}^\infty c^{n-n_1}|a_{n_1}|=\sum_{k=1}^{n_1-1}|a_k|+\left|a_{n_1}\right|\sum_{n=0}^\infty c^n.</math>
The series <math>\sum_{n=0}^\infty c^n</math> is the [[geometric series]] with common ratio <math>c\in(0;1)</math>, hence <math>\sum_{n=0}^\infty c^n=\frac{1}{1-c}</math> which is finite. The sum <math>\sum_{k=1}^{n_1-1}|a_k|</math> is a finite sum and hence it is bounded, this implies the series <math>\sum_{n=1}^\infty |a_n|</math> converges by the [[monotone convergence theorem]] and the series <math>\sum_{n=1}^\infty a_n</math> converges by the absolute convergence test.<br>
When the limit <math>\left|\frac{a_{n+1}}{a_n}\right|</math> exists and equals to <math>L</math> then <math>r=R=L</math>, this gives the original ratio test.

== Extensions for ''L'' = 1 ==

As seen in the previous example, the ratio test may be inconclusive when the limit of the ratio is 1. Extensions to the ratio test, however, sometimes allow one to deal with this case.<ref name="Bromwich1908">{{cite book |last=Bromwich |first=T. J. I'A |date=1908 |title=An Introduction To The Theory of Infinite Series |publisher=Merchant Books |author-link= Thomas John I'Anson Bromwich}}</ref><ref name="Knopp">{{cite book |last=Knopp |first=Konrad |date=1954 |title=Theory and Application of Infinite Series |url=https://archive.org/details/theoryandapplica031692mbp/page/n5 |location=London |publisher=Blackie & Son Ltd. |author-link=Konrad Knopp }}</ref><ref name="Tong1994">
{{cite journal |last1=Tong |first1=Jingcheng|date=May 1994|title=Kummer's Test Gives Characterizations for Convergence or Divergence of all Positive Series|jstor=2974907|journal=The American Mathematical Monthly |volume=101 |issue=5 |pages=450–452 |doi=10.2307/2974907 }}</ref><ref name="Ali2008">
{{cite journal |last1=Ali |first1=Sayel A.|date=2008 |title=The mth Ratio Test: New Convergence Test for Series |url= https://www.tandfonline.com/doi/abs/10.1080/00029890.2008.11920558 |journal=The American Mathematical Monthly |volume=115 |issue=6 |pages=514–524 |doi= 10.1080/00029890.2008.11920558|s2cid=16336333|access-date=4 September 2024 |url-access=subscription }}</ref><ref name="Samelson1995">
{{cite journal |last1=Samelson |first1=Hans|date=November 1995|title=More on Kummer's Test|jstor=2974510|journal=The American Mathematical Monthly |volume=102 |issue=9 |pages=817–818 |doi=10.2307/2974510 }}</ref><ref name="Blackburn2012">{{cite web |url= http://sites.math.washington.edu/~morrow/336_12/papers/kyle.pdf|title= The mth Ratio Convergence Test and Other Unconventional Convergence Tests|last= Blackburn|first=Kyle |date=4 May 2012 |publisher=University of Washington College of Arts and Sciences |access-date= 27 November 2018 }}</ref><ref name="Duris2009">{{cite thesis |last1=Ďuriš |first1=František |date=2009 |title=Infinite series: Convergence tests |type=Bachelor's thesis |publisher=Katedra Informatiky, Fakulta Matematiky, Fyziky a Informatiky, Univerzita Komenského, Bratislava |url= http://www.dcs.fmph.uniba.sk/bakalarky/obhajene/Detail.php?id=90|access-date= 28 November 2018 }}</ref><ref name="Duris2018">{{cite arXiv |last1=Ďuriš |first1=František |date= 2 February 2018 |title=On Kummer's test of convergence and its relation to basic comparison tests |eprint=1612.05167 |class=math.HO }}</ref>

In all the tests below one assumes that Σ''a''<sub>''n''</sub> is a sum with positive ''a''<sub>''n''</sub>. These tests also may be applied to any series with a finite number of negative terms. Any such series may be written as:

:<math>\sum_{n=1}^\infty a_n = \sum_{n=1}^N a_n+\sum_{n=N+1}^\infty a_n</math>

where ''a<sub>N</sub>'' is the highest-indexed negative term. The first expression on the right is a partial sum which will be finite, and so the convergence of the entire series will be determined by the convergence properties of the second expression on the right, which may be re-indexed to form a series of all positive terms beginning at ''n''=1.

Each test defines a test parameter (ρ<sub>n</sub>) which specifies the behavior of that parameter needed to establish convergence or divergence. For each test, a weaker form of the test exists which will instead place restrictions upon lim<sub>n->∞</sub>ρ<sub>n</sub>.

All of the tests have regions in which they fail to describe the convergence properties of Σa<sub>n</sub>. In fact, no convergence test can fully describe the convergence properties of the series.<ref name="Bromwich1908"/><ref name="Duris2009"/> This is because if Σa<sub>n</sub> is convergent, a second convergent series Σb<sub>n</sub> can be found which converges more slowly: i.e., it has the property that lim<sub>n->∞</sub> (b<sub>n</sub>/a<sub>n</sub>) = ∞. Furthermore, if Σa<sub>n</sub> is divergent, a second divergent series Σb<sub>n</sub> can be found which diverges more slowly: i.e., it has the property that lim<sub>n->∞</sub> (b<sub>n</sub>/a<sub>n</sub>) = 0. Convergence tests essentially use the comparison test on some particular family of a<sub>n</sub>, and fail for sequences which converge or diverge more slowly.

=== De Morgan hierarchy ===

[[Augustus De Morgan]] proposed a hierarchy of ratio-type tests<ref name="Bromwich1908"/><ref name="Blackburn2012"/>

The ratio test parameters (<math>\rho_n</math>) below all generally involve terms of the form <math>D_n a_n/a_{n+1}-D_{n+1}</math>. This term may be multiplied by <math>a_{n+1}/a_n</math> to yield <math>D_n-D_{n+1}a_{n+1}/a_n</math>. This term can replace the former term in the definition of the test parameters and the conclusions drawn will remain the same. Accordingly, there will be no distinction drawn between references which use one or the other form of the test parameter.

====1. d'Alembert's ratio test====

The first test in the De Morgan hierarchy is the ratio test as described above.

====2. Raabe's test====

This extension is due to [[Joseph Ludwig Raabe]]. Define:

:<math>\rho_n \equiv n\left(\frac{a_n}{a_{n+1}}-1\right)</math>

(and some extra terms, see Ali, Blackburn, Feld, Duris (none), Duris2){{Clarify|date=September 2024}}

The series will:<ref name="Ali2008"/><ref name="Duris2009"/><ref name="Blackburn2012"/>
* Converge when there exists a ''c>''1 such that <math>\rho_n \ge c</math> for all ''n>N''.
* Diverge when <math>\rho_n \le 1</math> for all ''n>N''.
* Otherwise, the test is inconclusive.

For the limit version,<ref>{{mathworld|title=Raabe's Test|urlname=RaabesTest}}</ref> the series will:
* Converge if <math>\rho=\lim_{n\to\infty}\rho_n>1</math> (this includes the case ''ρ'' = ∞)
* Diverge if <math>\lim_{n\to\infty}\rho_n<1</math>.
* If ''ρ'' = 1, the test is inconclusive.

When the above limit does not exist, it may be possible to use limits superior and inferior.<ref name="Bromwich1908"/> The series will:
* Converge if <math>\liminf_{n \to \infty} \rho_n > 1</math>
* Diverge if <math>\limsup_{n \rightarrow \infty} \rho_n < 1</math>
* Otherwise, the test is inconclusive.

=====Proof of Raabe's test=====

Defining <math>\rho_n \equiv n\left(\frac{a_n}{a_{n+1}}-1\right)</math>, we need not assume the limit exists; if <math>\limsup\rho_n<1</math>, then <math>\sum a_n</math> diverges, while if <math>\liminf \rho_n>1</math> the sum converges.

The proof proceeds essentially by comparison with <math>\sum1/n^R</math>. Suppose first that <math>\limsup\rho_n<1</math>. Of course
if <math>\limsup\rho_n<0</math> then <math>a_{n+1}\ge a_n</math> for large <math>n</math>, so the sum diverges; assume then that <math>0\le\limsup\rho_n<1</math>. There exists <math>R<1</math> such that <math>\rho_n\le R</math> for all <math>n\ge N</math>, which is to say that <math>a_{n}/a_{n+1}\le \left(1+\frac Rn\right)\le e^{R/n}</math>. Thus <math>a_{n+1}\ge a_ne^{-R/n}</math>, which implies that
<math>a_{n+1}\ge a_Ne^{-R(1/N+\dots+1/n)}\ge ca_Ne^{-R\log(n)}=ca_N/n^R</math> for <math>n\ge N</math>; since <math>R<1</math> this shows that <math>\sum a_n</math> diverges.

The proof of the other half is entirely analogous, with most of the inequalities simply reversed. We need a preliminary inequality to use
in place of the simple <math>1+t<e^t</math> that was used above:  Fix <math>R</math> and <math>N</math>. Note that
<math>\log\left(1+\frac Rn\right)=\frac Rn+O\left(\frac 1{n^2}\right)</math>. So <math>\log\left(\left(1+\frac RN\right)\dots\left(1+\frac Rn\right)\right)
=R\left(\frac 1N+\dots+\frac 1n\right)+O(1)=R\log(n)+O(1)</math>; hence <math>\left(1+\frac RN\right)\dots\left(1+\frac Rn\right)\ge cn^R</math>.

Suppose now that <math>\liminf\rho_n>1</math>. Arguing as in the first paragraph, using the inequality established in the previous paragraph, we see that there exists <math>R>1</math> such that <math>a_{n+1}\le ca_Nn^{-R}</math> for <math>n\ge N</math>; since <math>R>1</math> this shows that <math>\sum a_n</math> converges.

(A faster approach to proving divergence: <math>a_{n}/a_{n+1}\le \left(1+\frac Rn\right)\le \left(1+\frac 1n\right)</math>. Thus <math>a_{n}n\le a_{n+1}(n+1)</math>, which implies that
<math>a_{n}n</math> is monotone increasing for <math>n\ge N</math>; since <math>a_n > 0</math>, there must exists a constant <math>\epsilon > 0</math> such that <math>a_{n}n > \epsilon</math> for all <math>n\ge N</math>. Therefore, <math>a_{n}\ge \frac \epsilon n</math> and <math>\sum a_{n}</math> is diverges.)

==== 3. Bertrand's test ====

This extension is due to [[Joseph Bertrand]] and [[Augustus De Morgan]].

Defining:

:<math>\rho_n \equiv n \ln n\left(\frac{a_n}{a_{n+1}}-1\right)-\ln n</math>

Bertrand's test<ref name="Bromwich1908"/><ref name="Duris2009"/> asserts that the series will:
* Converge when there exists a ''c>1'' such that <math>\rho_n \ge c</math> for all ''n>N''.
* Diverge when <math>\rho_n \le 1</math> for all ''n>N''.
* Otherwise, the test is inconclusive.

For the limit version, the series will:
* Converge if <math>\rho=\lim_{n\to\infty}\rho_n>1</math> (this includes the case ''ρ'' = ∞)
* Diverge if <math>\lim_{n\to\infty}\rho_n<1</math>.
* If ''ρ'' = 1, the test is inconclusive.

When the above limit does not exist, it may be possible to use limits superior and inferior.<ref name="Bromwich1908"/><ref name="Blackburn2012"/><ref>{{mathworld|title=Bertrand's Test|urlname=BertrandsTest}}</ref> The series will:
* Converge if <math>\liminf \rho_n > 1</math>
* Diverge if  <math>\limsup \rho_n < 1</math>
* Otherwise, the test is inconclusive.

==== 4. Extended Bertrand's test ====

This extension probably appeared at the first time by Margaret Martin in 1941.<ref name="Mar1941">{{cite journal|url=https://www.ams.org/journals/bull/1941-47-06/S0002-9904-1941-07477-X/S0002-9904-1941-07477-X.pdf |last1=Martin |first1=Margaret |date=1941 |title=A sequence of limit tests for the convergence of series |journal=Bulletin of the American Mathematical Society |volume=47 |issue=6|pages=452–457  |doi=10.1090/S0002-9904-1941-07477-X |doi-access=free }}</ref> A short proof based on Kummer's test and without technical assumptions (such as existence of the limits, for example) was provided by Vyacheslav Abramov in 2019.<ref name="Abr2008">{{cite journal|last1=Abramov |first1=Vyacheslav M. |date=May 2020 |title=Extension of the Bertrand–De Morgan test and its application |journal=The American Mathematical Monthly |volume=127 |issue=5 |pages=444–448 |doi=10.1080/00029890.2020.1722551 |arxiv=1901.05843 |s2cid=199552015 }}</ref>

Let <math>K\geq1</math> be an integer, and let <math>\ln_{(K)}(x)</math> denote the <math>K</math>th [[iteration|iterate]] of [[natural logarithm]], i.e. <math>\ln_{(1)}(x)=\ln (x)</math> and for any <math>2\leq k\leq K</math>, 
<math>\ln_{(k)}(x)=\ln_{(k-1)}(\ln (x))</math>.

Suppose that the ratio <math>a_n/a_{n+1}</math>, when <math>n</math> is large, can be presented in the form

:<math>\frac{a_n}{a_{n+1}}=1+\frac{1}{n}+\frac{1}{n}\sum_{i=1}^{K-1}\frac{1}{\prod_{k=1}^i\ln_{(k)}(n)}+\frac{\rho_n}{n\prod_{k=1}^K\ln_{(k)}(n)}, \quad K\geq1.</math>
(The empty sum is assumed to be 0. With <math>K=1</math>, the test reduces to Bertrand's test.)

The value <math>\rho_{n}</math> can be presented explicitly in the form
:<math>\rho_{n} = n\prod_{k=1}^K\ln_{(k)}(n)\left(\frac{a_n}{a_{n+1}}-1\right)-\sum_{j=1}^K\prod_{k=1}^j\ln_{(K-k+1)}(n).</math>

Extended Bertrand's test asserts that the series
* Converge when there exists a <math>c>1</math> such that <math>\rho_n \geq c</math> for all <math>n>N</math>.
* Diverge when <math>\rho_n \leq 1</math> for all <math>n>N</math>.
* Otherwise, the test is inconclusive.

For the limit version, the series 
* Converge if <math>\rho=\lim_{n\to\infty}\rho_n>1</math> (this includes the case <math>\rho = \infty</math>)
* Diverge if <math>\lim_{n\to\infty}\rho_n<1</math>.
* If <math>\rho = 1</math>, the test is inconclusive.

When the above limit does not exist, it may be possible to use limits superior and inferior. The series 
* Converge if <math>\liminf \rho_n > 1</math>
* Diverge if  <math>\limsup \rho_n < 1</math>
* Otherwise, the test is inconclusive.

For applications of Extended Bertrand's test see [[birth–death process]].

==== 5. Gauss's test ====

This extension is due to [[Carl Friedrich Gauss]].

Assuming ''a<sub>n</sub>'' > 0 and ''r > 1'', if a bounded sequence ''C<sub>n</sub>'' can be found such that for all ''n'':<ref name="Knopp"/><ref name="Ali2008"/><ref name="Blackburn2012"/><ref name="Duris2009"/>

:<math>\frac{a_n}{a_{n+1}}=1+\frac{\rho}{n}+\frac{C_n}{n^r}</math>

then the series will:
* Converge if <math>\rho>1</math>
* Diverge if <math>\rho \le 1</math>

==== 6. Kummer's test ====

This extension is due to [[Ernst Kummer]].

Let ζ<sub>''n''</sub> be an auxiliary sequence of positive constants. Define

:<math>\rho_n \equiv \left(\zeta_n \frac{a_n}{a_{n+1}} - \zeta_{n+1}\right)</math>

Kummer's test states that the series will:<ref name="Knopp"/><ref name="Tong1994"/><ref name="Duris2009"/><ref name="Duris2018"/>
* Converge if there exists a <math>c>0</math> such that <math>\rho_n \ge c</math> for all n>N. (Note this is not the same as saying <math>\rho_n > 0</math>)
* Diverge if <math>\rho_n \le 0</math> for all n>N and <math>\sum_{n=1}^\infty 1/\zeta_n</math> diverges.

For the limit version, the series will:<ref>{{mathworld|title=Kummer's Test|urlname=KummersTest}}</ref><ref name="Ali2008"/><ref name="Blackburn2012"/>
* Converge if <math>\lim_{n\to\infty}\rho_n>0</math> (this includes the case ''ρ'' = ∞)
* Diverge if <math>\lim_{n\to\infty}\rho_n<0</math> and <math>\sum_{n=1}^\infty 1/\zeta_n</math> diverges.
* Otherwise the test is inconclusive

When the above limit does not exist, it may be possible to use limits superior and inferior.<ref name="Bromwich1908"/> The series will
* Converge if <math>\liminf_{n \to \infty} \rho_n >0</math>
* Diverge if <math>\limsup_{n \to \infty} \rho_n <0</math> and <math>\sum 1/\zeta_n</math> diverges.

===== Special cases =====

All of the tests in De Morgan's hierarchy except Gauss's test can easily be seen as special cases of Kummer's test:<ref name="Bromwich1908"/>
* For the ratio test, let ζ<sub>n</sub>=1. Then:
::<math>\rho_\text{Kummer} = \left(\frac{a_n}{a_{n+1}}-1\right) = 1/\rho_\text{Ratio}-1</math>
* For Raabe's test, let ζ<sub>n</sub>=n. Then:
::<math>\rho_\text{Kummer} = \left(n\frac{a_n}{a_{n+1}}-(n+1)\right) = \rho_\text{Raabe}-1</math>
* For Bertrand's test, let ζ<sub>n</sub>=n ln(n). Then:
::<math>\rho_\text{Kummer} =  n \ln(n)\left(\frac{a_n}{a_{n+1}}\right)-(n+1)\ln(n+1)</math>
:Using <math>\ln(n+1)=\ln(n)+\ln(1+1/n)</math> and [[approximation|approximating]] <math>\ln(1+1/n)\rightarrow 1/n</math> for large ''n'', which is negligible compared to the other terms, <math>\rho_\text{Kummer}</math> may be written:
::<math>\rho_\text{Kummer} =  n \ln(n)\left(\frac{a_n}{a_{n+1}}-1\right)-\ln(n)-1 = \rho_\text{Bertrand}-1</math>
* For Extended Bertrand's test, let <math>\zeta_n=n\prod_{k=1}^K\ln_{(k)}(n).</math> From the [[Taylor series]] expansion for large <math>n</math> we arrive at the [[approximation]] 
::<math>\ln_{(k)}(n+1)=\ln_{(k)}(n)+\frac{1}{n\prod_{j=1}^{k-1}\ln_{(j)}(n)}+O\left(\frac{1}{n^2}\right),</math>
where the empty product is assumed to be 1. Then,
::<math>\rho_\text{Kummer} = n\prod_{k=1}^K\ln_{(k)}(n)\frac{a_n}{a_{n+1}}-(n+1)\left[\prod_{k=1}^K\left(\ln_{(k)}(n)+\frac{1}{n\prod_{j=1}^{k-1}\ln_{(j)}(n)}\right)\right]+o(1)
=n\prod_{k=1}^K\ln_{(k)}(n)\left(\frac{a_n}{a_{n+1}}-1\right)-\sum_{j=1}^K\prod_{k=1}^j\ln_{(K-k+1)}(n)-1+o(1).</math>

Hence,

::<math>\rho_\text{Kummer} = \rho_\text{Extended Bertrand}-1.</math>

Note that for these four tests, the higher they are in the De Morgan hierarchy, the more slowly the <math>1/\zeta_n</math> series diverges.

=====Proof of Kummer's test=====

If <math>\rho_n>0</math> then fix a positive number <math>0<\delta<\rho_n</math>.  There exists
a natural number <math>N</math> such that for every <math>n>N,</math>
:<math>\delta\leq\zeta_{n}\frac{a_{n}}{a_{n+1}}-\zeta_{n+1}.</math>
Since <math>a_{n+1}>0</math>, for every <math>n> N,</math>
:<math>0\leq \delta a_{n+1}\leq \zeta_{n}a_{n}-\zeta_{n+1}a_{n+1}.</math>
In particular <math>\zeta_{n+1}a_{n+1}\leq \zeta_{n}a_{n}</math> for all <math>n\geq N</math> which means that starting from the index
<math>N</math>
the sequence <math>\zeta_{n}a_{n}>0</math> is monotonically decreasing and
positive which in particular implies that it is bounded below by 0. Therefore, the limit
:<math>\lim_{n\to\infty}\zeta_{n}a_{n}=L</math> exists.
This implies that the positive  [[telescoping series]]
:<math>\sum_{n=1}^{\infty}\left(\zeta_{n}a_{n}-\zeta_{n+1}a_{n+1}\right)</math> is convergent,
and since for all <math>n>N,</math>
:<math>\delta a_{n+1}\leq \zeta_{n}a_{n}-\zeta_{n+1}a_{n+1}</math>
by the [[direct comparison test]] for positive series, the series
<math>\sum_{n=1}^{\infty}\delta a_{n+1}</math> is convergent.

On the other hand, if <math>\rho<0</math>, then there is an ''N'' such that <math>\zeta_n a_n</math> is increasing for <math>n>N</math>.  In particular, there exists an <math>\epsilon>0</math> for which <math>\zeta_n a_n>\epsilon</math> for all <math>n>N</math>, and so <math>\sum_n a_n=\sum_n \frac{a_n\zeta_n}{\zeta_n}</math> diverges by comparison with <math>\sum_n \frac \epsilon {\zeta_n}</math>.

=== Tong's modification of Kummer's test===

A new version of Kummer's test was established by Tong.<ref name="Tong1994"/> See also <ref name="Samelson1995"/><ref name="Duris2018"/><ref name="Abramov2021">{{cite arXiv |last1=Abramov |first1=Vyacheslav, M. |date= 21 June 2021 |title=A simple proof of Tong's theorem |eprint=2106.13808 |class=math.HO }}</ref>
for further discussions and new proofs. The provided modification of Kummer's theorem characterizes
all positive series, and the convergence or divergence can be formulated in the form of two necessary and sufficient conditions, one for convergence and another for divergence.

* Series <math>\sum_{n=1}^\infty a_n</math> converges if and only if there exists a positive sequence <math>\zeta_n</math>, <math>n=1,2,\dots</math>, such that <math>\zeta_n\frac{a_n}{a_{n+1}}-\zeta_{n+1}\geq c>0.</math>

* Series <math>\sum_{n=1}^\infty a_n</math> diverges if and only if there exists a positive sequence <math>\zeta_n</math>, <math>n=1,2,\dots</math>, such that <math>\zeta_n\frac{a_n}{a_{n+1}}-\zeta_{n+1}\leq0,</math> and <math>\sum_{n=1}^{\infty}\frac{1}{\zeta_n}=\infty.</math>

The first of these statements can be simplified as follows:<ref name="Abramov2022">
{{cite journal |last1=Abramov |first1=Vyacheslav M.|date=May 2022|title=Evaluating the sum of convergent positive series|url=http://elib.mi.sanu.ac.rs/files/journals/publ/131/publn131p41-53.pdf | journal=Publications de l'Institut Mathématique |series=Nouvelle Série |volume=111 |issue=125 |pages=41–53 |doi=10.2298/PIM2225041A|s2cid=237499616 }}</ref>

* Series <math>\sum_{n=1}^\infty a_n</math> converges if and only if there exists a positive sequence <math>\zeta_n</math>, <math>n=1,2,\dots</math>, such that <math>\zeta_n\frac{a_n}{a_{n+1}}-\zeta_{n+1}=1.</math>

The second statement can be simplified similarly:
* Series <math>\sum_{n=1}^\infty a_n</math> diverges if and only if there exists a positive sequence <math>\zeta_n</math>, <math>n=1,2,\dots</math>, such that <math>\zeta_n\frac{a_n}{a_{n+1}}-\zeta_{n+1}=0,</math> and <math>\sum_{n=1}^{\infty}\frac{1}{\zeta_n}=\infty.</math>

However, it becomes useless, since the condition <math>\sum_{n=1}^{\infty}\frac{1}{\zeta_n}=\infty</math> in this case reduces to the original claim <math>\sum_{n=1}^{\infty}a_n=\infty.</math>

=== Frink's ratio test ===
Another ratio test that can be set in the framework of Kummer's theorem was presented by [[Orrin Frink]]<ref name="Frink1948">{{cite journal |last1=Frink |first1=Orrin |date=October 1948|title=A ratio test |journal=Bulletin of the American Mathematical Society |url=https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-54/issue-10/A-ratio-test/bams/1183512386.full |volume=54 |issue=10 |pages=953 |doi=10.1090/S0002-9904-1948-09111-X |doi-access=free }}</ref> 1948.

Suppose <math>a_n</math> is a sequence in <math>\mathbb{C}\setminus\{0\}</math>,
* If <math> \limsup_{n\rightarrow\infty}\Big(\frac{|a_{n+1}|}{|a_n|}\Big)^n<\frac1e </math>, then the series <math>\sum_na_n</math> converges absolutely.
* If there is <math>N\in\mathbb{N}</math> such that <math> \Big(\frac{|a_{n+1}|}{|a_n|}\Big)^n\geq\frac1e </math> for all <math>n\geq N</math>, then <math>\sum_n|a_n|</math> diverges.

This result reduces to a comparison of <math>\sum_n|a_n|</math> with a [[power series]] <math>\sum_n n^{-p}</math>, and can be seen to be related to Raabe's test.<ref name="Stark1949">{{cite journal |date=1949|last1=Stark |first1=Marceli |title=On the ratio test of Frink |journal=Colloquium Mathematicum | volume=2 |issue=1 |pages=46–47 |doi=10.4064/cm-2-1-46-47 }}</ref>

=== Ali's second ratio test ===
A more refined ratio test is the second ratio test:<ref name="Ali2008"/><ref name="Blackburn2012"/>
For <math>a_n>0</math> define:
{|
|<math>L_0\equiv\lim_{n\rightarrow \infty} \frac{a_{2n}}{a_n}</math>
|-
|<math>L_1\equiv\lim_{n\rightarrow \infty} \frac{a_{2n+1}}{a_n}</math>
|-
|<math>L\equiv\max(L_0,L_1)</math>
|}

By the second ratio test, the series will:
* Converge if <math>L<\frac{1}{2}</math>
* Diverge if <math>L>\frac{1}{2}</math>
* If <math>L=\frac{1}{2}</math> then the test is inconclusive.

If the above limits do not exist, it may be possible to use the limits superior and inferior. Define:

{|
|<math>L_0\equiv\limsup_{n\rightarrow \infty} \frac{a_{2n}}{a_n}</math>
|
|<math>L_1\equiv\limsup_{n\rightarrow \infty} \frac{a_{2n+1}}{a_n}</math>
|-
|<math>\ell_0\equiv\liminf_{n\rightarrow \infty} \frac{a_{2n}}{a_n}</math>
|
|<math>\ell_1\equiv\liminf_{n\rightarrow \infty} \frac{a_{2n+1}}{a_n}</math>
|-
|<math>L\equiv\max(L_0,L_1)</math>
|
|<math>\ell\equiv\min(\ell_0,\ell_1)</math>
|}

Then the series will:
* Converge if <math>L<\frac{1}{2}</math>
* Diverge if <math>\ell>\frac{1}{2}</math>
* If <math>\ell \le \frac{1}{2} \le L</math> then the test is inconclusive.

=== Ali's ''m''th ratio test ===

This test is a direct extension of the second ratio test.<ref name="Ali2008"/><ref name="Blackburn2012"/> For <math>0\leq k\leq m-1,</math> and positive <math>a_n</math> define:
{|
|<math>L_k\equiv\lim_{n\rightarrow \infty} \frac{a_{mn+k}}{a_n}</math>
|-
|<math>L\equiv\max(L_0,L_1,\ldots,L_{m-1})</math>
|}
By the <math>m</math>th ratio test, the series will:
* Converge if <math>L<\frac{1}{m}</math>
* Diverge if <math>L>\frac{1}{m}</math>
* If <math>L=\frac{1}{m}</math> then the test is inconclusive.

If the above limits do not exist, it may be possible to use the limits superior and inferior. For <math>0\leq k\leq m-1</math> define:

{|
|<math>L_k\equiv\limsup_{n\rightarrow \infty} \frac{a_{mn+k}}{a_n}</math>
|-
|<math>\ell_k\equiv\liminf_{n\rightarrow \infty} \frac{a_{mn+k}}{a_n}</math>
|-
|<math>L\equiv\max(L_0,L_1,\ldots,L_{m-1})</math>
|
|<math>\ell\equiv\min(\ell_0,\ell_1,\ldots,\ell_{m-1})</math>
|}

Then the series will:
* Converge if <math>L<\frac{1}{m}</math>
* Diverge if <math>\ell>\frac{1}{m}</math>
* If <math>\ell \leq \frac{1}{m} \leq L</math>, then the test is inconclusive.

=== Ali--Deutsche Cohen φ-ratio test ===

This test is an extension of the <math>m</math>th ratio test.<ref>{{cite journal|url=https://www.ems-ph.org/journals/show_abstract.php?issn=0013-6018&vol=67&iss=4&rank=2|last1=Ali |first1=Sayel |last2=Cohen |first2=Marion Deutsche |date=2012 |title=phi-ratio tests |journal=[[Elemente der Mathematik]] |volume=67 |issue= 4|pages=164–168 |doi=10.4171/EM/206 |doi-access=free }}</ref>

Assume that the sequence <math>a_n</math> is a positive decreasing sequence.

Let <math>\varphi:\mathbb{Z}^+\to\mathbb{Z}^+</math> be such that <math>\lim_{n\to\infty}\frac{n}{\varphi(n)}</math> exists. Denote <math>\alpha=\lim_{n\to\infty}\frac{n}{\varphi(n)}</math>, and assume <math>0<\alpha<1</math>.

Assume also that <math>\lim_{n\to\infty}\frac{a_{\varphi(n)}}{a_n}=L.</math>

Then the series will:

* Converge if <math>L<\alpha</math>
* Diverge if <math>L>\alpha</math>
* If <math>L=\alpha</math>, then the test is inconclusive.

==See also==
* [[Root test]]
* [[Radius of convergence]]

== Footnotes ==
{{reflist}}

== References ==
*{{citation | last1=d'Alembert| first1=J.|author-link=Jean le Rond d'Alembert| year=1768 | title=Opuscules |volume=V|pages=171–183| url=http://gallica.bnf.fr/ark:/12148/bpt6k62424s.image.f192}}.
*{{Citation | last1=Apostol | first1=Tom M. | author1-link=Tom M. Apostol | title=Mathematical analysis | publisher=[[Addison-Wesley]] | edition=2nd | isbn=978-0-201-00288-1 | year=1974}}: §8.14.
* {{citation<!--Deny Citation Bot-->|last=Knopp|first=Konrad|title=Infinite Sequences and Series|location=New York |publisher=Dover Publications|year=1956|isbn=978-0-486-60153-3|bibcode=1956iss..book.....K}}: §3.3, 5.4.
* {{citation|last=Rudin|first=Walter|author-link=Walter Rudin|title=Principles of Mathematical Analysis|edition=3rd|publisher=McGraw-Hill, Inc.|location=New York|year=1976|isbn=978-0-07-054235-8}}: §3.34.
* {{springer|title=Bertrand criterion|id=p/b015780}}
* {{springer|title=Gauss criterion|id=p/g043420}}
* {{springer|title=Kummer criterion|id=p/k055950}}
* {{citation|last2=Whittaker|first2=E. T.|last1=Watson|first1=G. N.|title=A Course in Modern Analysis|edition=4th|publisher=Cambridge University Press|year=1963|isbn=978-0-521-58807-2}}: §2.36, 2.37.

{{Calculus topics}}

[[Category:Convergence tests]]
[[Category:Articles containing proofs]]

[[it:Criteri di convergenza#Criterio del rapporto (o di d'Alembert)]]