Skip to main content
Mathematics LibreTexts

Comparison Test

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

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

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \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{\longvect}{\overrightarrow}\)

    \( \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}\)

    The Direct Comparison Test

    If a series "looks like" a geometric series or a P-series (or some other known series) we can use the test below to determine convergence or divergence.

     

    Theorem:  The Direct Comparison Test

     Let 

              0  <  an   <  b  

    for all n (large)

    1. If \(  \displaystyle\sum_{n=1}^{\infty}b_n \)  converges then  \(  \displaystyle\sum_{n=1}^{\infty}a_n \) also converges.

    2. If \(  \displaystyle\sum_{n=1}^{\infty}a_n \)  diverges then  \(  \displaystyle\sum_{n=1}^{\infty}b_n \) also diverges.

     


     

    Example

    Determine if 

              \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{e^{n^2}} \)

    converges.

    Solution:  

    Let 

            \(  \frac{1}{e^{n^2}} \)

    and 

                          1
            bn  =               =  e-n  
                           e
    n


    For  bn we can use the integral test:


            \( \int_1^{\infty} e^{-x}dx = e^{-x}|_1^{\infty} = 1 \)

    We could have also used the geometric series test to show that \(  \displaystyle\sum_{n=1}^{\infty}b_n \) converges.  
    Since \(  \displaystyle\sum_{n=1}^{\infty}b_n \) converges and

            0  <  an  <  bn  

    we can conclude by the comparison test that  \(  \displaystyle\sum_{n=1}^{\infty}a_n \) converges also.

     

    We use this test when 

                        1
            bn =              
                        np


    or other recognizable such as rn.  We often find the bn by dropping the constants.

    Exercises:  Test the following for convergence

    1. \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{\sqrt{n+3}} \)

    2.   \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{5^n - 6} \)


    Limit Comparison Test

    Sometimes, the comparison test does not work since the inequality works the wrong way.  If the functions are similar, then we can use an alternate test.


     

                 Limit Comparison Test

    Suppose that 

              an > 0,      bn > 0 

    and
           
              \(  \lim\limits_{n\to \infty} \frac{a_n}{b_n} = L   \)

    for some finite positive L. Then both converge or both diverge.



    Example:   

    Determine if the series 

            \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{3n+5} \)

    converges.  

     

    Solution

    We compare with the harmonic series 

            \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{n} \)

    which diverges.


    We have 

            \(  \lim\limits_{n\to \infty} \frac{1}{n} \frac{3n+5}{1} = \lim\limits_{n\to \infty} \frac{3}{1} = 3   \)
    Which is a finite positive value.  Thus by the LCT,  \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{3n+5} \)diverges.

    Exercises:    Determine if the following converge or diverge.

    1. \(  \displaystyle\sum_{n=1}^{\infty}\frac{2n^2+3n-1}{n^4-2n+5} \)

    2. \(  \displaystyle\sum_{n=1}^{\infty}\frac{1}{ln(3n+2)} \)


    Proof of the Comparison Test

    Let an   be sequence of positive numbers such that 

            0  <  bn   <  an  

    and such that the sequence 

              \(  \displaystyle\sum_{n=1}^{\infty} a_n = L\)

    then if Bn  represents the nth partial sum of bn  and An is the nth partial sum of an then 

            0  <  Bn   <  A  <  L 

    so that Bn  is a bounded sequence.  Bn is monotonic since the terms are all positive, hence Bn converges.  Now let an  be a sequence of positive numbers such that 

            0 < a < b 

    and such that \(  \displaystyle\sum_{n=1}^{\infty} a^n \) diverges.  Then if b converges this would contradict the first part of the Comparison test with the roles of a and b switched.  Hence bdiverges.


    Proof of the Limit Comparison Test


    Suppose that \(  \displaystyle\sum_{n=1}^{\infty} b_n \)  diverges and that 

            \(  \lim\limits_{n\to \infty} \frac{a_n}{b_n} = L > 0   \)

    then for large n

            a  >  b(L/2)



    but if  \(  \displaystyle\sum_{n=1}^{\infty} b_n \)   diverges so does \( \frac{L}{2} \displaystyle\sum_{n=1}^{\infty} b_n \)  .  Now by the direct comparison test, \(  \displaystyle\sum_{n=1}^{\infty} a_n \)   diverges


    Notes on the Limit Comparison Test

    If   \(  \displaystyle\sum_{n=1}^{\infty} b_n \)  converges and 

            \(  \lim\limits_{n\to \infty} \frac{a_n}{b_n} = 0 \) 

    then an  is forced to be very small compared to bn  for large n and hence  \(  \displaystyle\sum_{n=1}^{\infty} a_n \)  also converges.  

    Also if  \(  \displaystyle\sum_{n=1}^{\infty} b_n \)  diverges and 

            \(  \lim\limits_{n\to \infty} \frac{a_n}{b_n} = \infty \) 

    then an  is forced to be very large hence \(  \displaystyle\sum_{n=1}^{\infty} a_n \)   also diverges.  

     



    Back to the Sequences and Series Page


    Comparison Test is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?