Skip to main content
Mathematics LibreTexts

11.8: The Ratio and Root Tests

  • Page ID
    557
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Does the series \(\sum_{n=0}^\infty {n^5\over 5^n}\) converge? It is possible, but a bit unpleasant, to approach this with the integral test or the comparison test, but there is an easier way. Consider what happens as we move from one term to the next in this series:

    \[\cdots+{n^5\over5^n}+{(n+1)^5\over 5^{n+1}}+\cdots\]

    The denominator goes up by a factor of 5, \( 5^{n+1}=5\cdot5^n\), but the numerator goes up by much less:

    \[ (n+1)^5=n^5+5n^4+10n^3+10n^2+5n+1,\]

    which is much less than \( 5n^5\) when \(n\) is large, because \( 5n^4\) is much less than \( n^5\). So we might guess that in the long run it begins to look as if each term is \(1/5\) of the previous term. We have seen series that behave like this:

    \[\sum_{n=0}^\infty {1\over 5^n} = {5\over4},\]

    a geometric series. So we might try comparing the given series to some variation of this geometric series. This is possible, but a bit messy. We can in effect do the same thing, but bypass most of the unpleasant work.

    The key is to notice that

    \[ \lim_{n\to\infty} {a_{n+1}\over a_n}= \lim_{n\to\infty} {(n+1)^5\over 5^{n+1}}{5^n\over n^5}= \lim_{n\to\infty} {(n+1)^5\over n^5}{1\over 5}=1\cdot {1\over5} ={1\over 5}. \]

    This is really just what we noticed above, done a bit more officially: in the long run, each term is one fifth of the previous term. Now pick some number between \(1/5\) and \(1\), say \(1/2\). Because

    \[\lim_{n\to\infty} {a_{n+1}\over a_n}={1\over5},\]

    then when \(n\) is big enough, say \(n\ge N\) for some \(N\),

    \[ {a_{n+1}\over a_n} < {1\over2} \quad \hbox{and}\quad a_{n+1} < {a_n\over2}. \]

    So \( a_{N+1} < a_N/2\), \( a_{N+2} < a_{N+1}/2 < a_N/4\), \( a_{N+3} < a_{N+2}/2 < a_{N+1}/4 < a_N/8\) , and so on. The general form is \( a_{N+k} < a_N/2^k\). So if we look at the series

    \[ \sum_{k=0}^\infty a_{N+k}= a_N+a_{N+1}+a_{N+2}+a_{N+3}+\cdots+a_{N+k}+\cdots, \]

    its terms are less than or equal to the terms of the sequence

    \[ a_N+{a_N\over2}+{a_N\over4}+{a_N\over8}+\cdots+{a_N\over2^k}+\cdots= \sum_{k=0}^\infty {a_N\over 2^k} = 2a_N. \]

    So by the comparison test, \(\sum_{k=0}^\infty a_{N+k}\) converges, and this means that \(\sum_{n=0}^\infty a_{n}\) converges, since we've just added the fixed number \( a_0+a_1+\cdots+a_{N-1}\).

    Under what circumstances could we do this? What was crucial was that the limit of \( a_{n+1}/a_n\), say \(L\), was less than 1 so that we could pick a value \(r\) so that \(L < r < 1\). The fact that \(L < r\) (\(1/5 < 1/2\) in our example) means that we can compare the series \(\sum a_n\) to \(\sum r^n\), and the fact that \(r < 1\) guarantees that \(\sum r^n\) converges. That's really all that is required to make the argument work. We also made use of the fact that the terms of the series were positive; in general we simply consider the absolute values of the terms and we end up testing for absolute convergence.

    Theroem 11.7.1: The Ratio Test

    Suppose that

    \[\lim_{n\to \infty} |a_{n+1}/a_n|=L.\]

    If

    \[L < 1\]

    the series \(\sum a_n\) converges absolutely, if \(L>1\) the series diverges, and if \(L=1\) this test gives no information.

    Proof.
    The example above essentially proves the first part of this, if we simply replace \(1/5\) by \(L\) and \(1/2\) by \(r\). Suppose that \(L>1\), and pick \(r\) so that \(1 < r < L\). Then for \(n\ge N\), for some \(N\), $${|a_{n+1}|\over |a_n|} > r \quad \hbox{and}\quad |a_{n+1}| > r|a_n|.$$ This implies that $$ |a_{N+k}|>r^k|a_N|$$, but since \(r>1\) this means that $$\lim_{k\to\infty}|a_{N+k}|\not=0$$, which means also that $$\lim_{n\to\infty}a_n\not=0$$. By the divergence test, the series diverges.

    \(\square\)

    To see that we get no information when \(L=1\), we need to exhibit two series with \(L=1\), one that converges and one that diverges. It is easy to see that \(\sum 1/n^2\) and \(\sum 1/n\) do the job.

    Example 11.7.2

    The ratio test is particularly useful for series involving the factorial function. Consider \(\sum_{n=0}^\infty 5^n/n!\). $$ \lim_{n\to\infty} {5^{n+1}\over (n+1)!}{n!\over 5^n}= \lim_{n\to\infty} {5^{n+1}\over 5^n}{n!\over (n+1)!}= \lim_{n\to\infty} {5}{1\over (n+1)}=0. $$ Since \(0 < 1\), the series converges.

    A similar argument, which we will not do, justifies a similar test that is occasionally easier to apply.

    Theroem 11.7.3: The Root Test

    Suppose that

    \[\lim_{n\to \infty} |a_n|^{1/n}=L.\]

    If \(L < 1\),the series \(\sum a_n\) converges absolutely, if \(L>1\) the series diverges, and if \(L=1\) this test gives no information.

    The proof of the root test is actually easier than that of the ratio test, and is a good exercise.

    Example 11.7.4

    Analyze \(\sum_{n=0}^\infty {5^n\over n^n}\).

    Solution

    The ratio test turns out to be a bit difficult on this series (try it). Using the root test:

    \[ \lim_{n\to\infty} \left({5^n\over n^n}\right)^{1/n}= \lim_{n\to\infty} {(5^n)^{1/n}\over (n^n)^{1/n}}= \lim_{n\to\infty} {5\over n}=0. \]

    Since \(0 < 1\), the series converges.

    The root test is frequently useful when \(n\) appears as an exponent in the general term of the series.

    Contributors

    David Guichard (Whitman College)

    • Integrated by Justin Marshall.


    This page titled 11.8: The Ratio and Root Tests is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by David Guichard via source content that was edited to the style and standards of the LibreTexts platform.