{"id":884,"date":"2025-06-20T17:19:54","date_gmt":"2025-06-20T17:19:54","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/calculus2\/?post_type=chapter&#038;p=884"},"modified":"2025-09-11T16:15:57","modified_gmt":"2025-09-11T16:15:57","slug":"separation-of-variables-learn-it-2-2","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/calculus2\/chapter\/separation-of-variables-learn-it-2-2\/","title":{"raw":"The Divergence and Integral Tests: Learn It 2","rendered":"The Divergence and Integral Tests: Learn It 2"},"content":{"raw":"<h2 data-type=\"title\">Integral Test<\/h2>\r\n<p class=\"whitespace-normal break-words\">We've already proved that the harmonic series diverges using partial sums. Now we'll use a different approach that's powerful enough to handle many other series: the <strong>integral test<\/strong>. The integral test compares an infinite sum to an improper integral. This comparison works because both represent ways of \"adding up\" infinitely many values.<\/p>\r\n\r\n<section class=\"textbox proTip\" aria-label=\"Pro Tip\">\r\n<p class=\"whitespace-normal break-words\">The integral test only applies to series with <strong>all positive terms<\/strong>.<\/p>\r\n\r\n<\/section>Let's see how this works with the harmonic series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n}[\/latex].\r\n<p id=\"fs-id1169737790154\">In Figure 1, we represent each term of the series as a rectangle with area [latex]1, \\frac{1}{2}, \\frac{1}{3}, \\frac{1}{4}, \\ldots[\/latex] These rectangles sit above the curve [latex]f(x) = \\frac{1}{x}[\/latex].<\/p>\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"325\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/4175\/2019\/04\/11234342\/CNX_Calc_Figure_09_03_001.jpg\" alt=\"This is a graph in quadrant 1 of a decreasing concave up curve approaching the x-axis \u2013 f(x) = 1\/x. Five rectangles are drawn with base 1 over the interval [1, 6]. The height of each rectangle is determined by the value of the function at the left endpoint of the rectangle\u2019s base. The areas for each are marked: 1, 1\/2, 1\/3, 1\/4, and 1\/5.\" width=\"325\" height=\"201\" data-media-type=\"image\/jpeg\" \/> Figure 1. The sum of the areas of the rectangles is greater than the area between the curve [latex]f\\left(x\\right)=\\frac{1}{x}[\/latex] and the [latex]x[\/latex] -axis for [latex]x\\ge 1[\/latex]. Since the area bounded by the curve is infinite (as calculated by an improper integral), the sum of the areas of the rectangles is also infinite.[\/caption]From the graph, we can see that the total area of the rectangles is greater than the area under the curve:\r\n<div id=\"fs-id1169737820611\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{k}\\frac{1}{n}=1+\\frac{1}{2}+\\frac{1}{3}+\\cdots +\\frac{1}{k}&gt;{\\displaystyle\\int }_{1}^{k+1}\\frac{1}{x}dx[\/latex].<\/div>\r\nLet's evaluate that integral:\r\n<div id=\"fs-id1169738142452\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{S}_{k}=\\displaystyle\\sum _{n=1}^{k}\\frac{1}{n}&gt;{\\displaystyle\\int }_{1}^{k+1}\\frac{1}{x}dx=\\text{ln}x{|}_{1}^{k+1}=\\text{ln}\\left(k+1\\right)-\\text{ln}\\left(1\\right)=\\text{ln}\\left(k+1\\right)[\/latex].<\/div>\r\n<p class=\"whitespace-normal break-words\">Since [latex]\\underset{k\\to \\infty}{\\text{lim}} \\ln(k+1) = \\infty[\/latex], the partial sums [latex]{S_k}[\/latex] are unbounded.<\/p>\r\n<p class=\"whitespace-normal break-words\">Therefore, [latex]{S_k}[\/latex] diverges, which means the harmonic series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n}[\/latex] also diverges.<\/p>\r\n\r\n<section class=\"textbox proTip\" aria-label=\"Pro Tip\">When the improper integral diverges to infinity, it forces the series to diverge too. The rectangles have more area than the region under the curve, so if the curve's area is infinite, the series must also be infinite.<\/section>Now let's see how the integral test can prove convergence. Consider the series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n^2}[\/latex].\r\n\r\nIn Figure 2, we sketch rectangles with areas [latex]1, \\frac{1}{2^2}, \\frac{1}{3^2}, \\ldots[\/latex] along with the function [latex]f(x) = \\frac{1}{x^2}[\/latex].\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"263\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/4175\/2019\/04\/11234344\/CNX_Calc_Figure_09_03_004.jpg\" alt=\"This is a graph in quadrant 1 of the decreasing concave up curve f(x) = 1\/(x^2), which approaches the x axis. Rectangles of base 1 are drawn over the interval [0, 5]. The height of each rectangle is determined by the value of the function at the right endpoint of its base. The areas of each are marked: 1, 1\/(2^2), 1\/(3^2), 1\/(4^2) and 1\/(5^2).\" width=\"263\" height=\"278\" data-media-type=\"image\/jpeg\" \/> Figure 2. The sum of the areas of the rectangles is less than the sum of the area of the first rectangle and the area between the curve [latex]f\\left(x\\right)=\\frac{1}{{x}^{2}}[\/latex] and the [latex]x[\/latex] -axis for [latex]x\\ge 1[\/latex]. Since the area bounded by the curve is finite, the sum of the areas of the rectangles is also finite.[\/caption]&nbsp;\r\n<figure id=\"CNX_Calc_Figure_09_03_001\"><figcaption><\/figcaption>\r\n<div class=\"mceTemp\"><\/div><\/figure>\r\n<p id=\"fs-id1169738095548\">Notice that the rectangles sit below the curve, so the total area of the rectangles is less than the area under the curve:<\/p>\r\n\r\n<div id=\"fs-id1169737815648\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{k}\\frac{1}{{n}^{2}}=1+\\frac{1}{{2}^{2}}+\\frac{1}{{3}^{2}}+\\cdots +\\frac{1}{{k}^{2}}&lt;1+{\\displaystyle\\int }_{1}^{k}\\frac{1}{{x}^{2}}dx[\/latex].<\/div>\r\nLet's evaluate this integral:\r\n<div id=\"fs-id1169738223359\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{S}_{k}=\\displaystyle\\sum _{n=1}^{k}\\frac{1}{{n}^{2}}&lt;1+{\\displaystyle\\int }_{1}^{k}\\frac{1}{{x}^{2}}dx=1-{\\frac{1}{x}|}_{1}^{k}=1-\\frac{1}{k}+1=2-\\frac{1}{k}&lt;2[\/latex].<\/div>\r\nThis shows that the partial sums [latex]{S_k}[\/latex] are bounded above by [latex]2[\/latex].\r\n\r\nSince [latex]S_k = S_{k-1} + \\frac{1}{k^2}[\/latex] for [latex]k \\geq 2[\/latex], the sequence [latex]{S_k}[\/latex] is also increasing. A sequence that is both increasing and bounded must converge. Since [latex]{S_k}[\/latex] is increasing and bounded, it converges. Therefore, the series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n^2}[\/latex] converges.\r\n<h3 class=\"text-lg font-bold text-text-100 mt-1 -mb-1.5\">General Integral Test<\/h3>\r\nWe can extend this approach to test many different series. The key is finding the right function to compare with your series. For a series [latex]\\displaystyle\\sum_{n=1}^{\\infty} a_n[\/latex] with positive terms, we need a continuous, positive, decreasing function [latex]f[\/latex] where [latex]f(n) = a_n[\/latex] for all positive integers, then:\r\n<p class=\"whitespace-normal break-words\"><strong>For convergence<\/strong> (Figure 3a), the [latex]k[\/latex]th partial sum [latex]S_k[\/latex] satisfies:<\/p>\r\n<p class=\"whitespace-normal break-words\" style=\"text-align: center;\">[latex]S_k = a_1 + a_2 + a_3 + \\cdots + a_k &lt; a_1 + \\int_1^k f(x)dx &lt; 1 + \\int_1^{\\infty} f(x)dx[\/latex]<\/p>\r\n<p class=\"whitespace-normal break-words\">If [latex]\\int_1^{\\infty} f(x)dx[\/latex] converges, then [latex]{S_k}[\/latex] is bounded and increasing, so the series converges.<\/p>\r\n<p class=\"whitespace-normal break-words\"><strong>For divergence<\/strong> (Figure 3b), the [latex]k[\/latex]th partial sum satisfies:<\/p>\r\n<p class=\"whitespace-normal break-words\" style=\"text-align: center;\">[latex]S_k = a_1 + a_2 + a_3 + \\cdots + a_k &gt; \\int_1^{k+1} f(x)dx[\/latex]<\/p>\r\n<p class=\"whitespace-normal break-words\">If [latex]\\int_1^{\\infty} f(x)dx[\/latex] diverges, then [latex]\\underset{k\\to \\infty}{\\text{lim}} \\int_1^{k+1} f(x)dx = \\infty[\/latex], making [latex]{S_k}[\/latex] unbounded. Therefore the series diverges.<\/p>\r\n\r\n<figure id=\"CNX_Calc_Figure_09_03_002\"><\/figure>\r\n<figure id=\"CNX_Calc_Figure_09_03_003\">[caption id=\"\" align=\"aligncenter\" width=\"731\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/4175\/2019\/04\/11234347\/CNX_Calc_Figure_09_03_002.jpg\" alt=\"This shows two graphs side by side of the same function y = f(x), a decreasing concave up curve approaching the x axis. Rectangles are drawn with base 1 over the intervals [0, 6] and [1, 6]. For the graph on the left, the height of each rectangle is determined by the value of the function at the right endpoint of its base. For the graph on the right, the height of each rectangle is determined by the value of the function at the left endpoint of its base. Areas a_1 through a_6 are marked in the graph on the left, and the same for a_1 to a_5 on the right.\" width=\"731\" height=\"313\" data-media-type=\"image\/jpeg\" \/> Figure 3. (a) If we can inscribe rectangles inside a region bounded by a curve [latex]y=f\\left(x\\right)[\/latex] and the [latex]x[\/latex] -axis, and the area bounded by those curves for [latex]x\\ge 1[\/latex] is finite, then the sum of the areas of the rectangles is also finite. (b) If a set of rectangles circumscribes the region bounded by [latex]y=f\\left(x\\right)[\/latex] and the [latex]x[\/latex] axis for [latex]x\\ge 1[\/latex] and the region has infinite area, then the sum of the areas of the rectangles is also infinite.[\/caption]<\/figure>\r\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\r\n<h3>integral test<\/h3>\r\n<p id=\"fs-id1169738149739\">Suppose [latex]\\displaystyle\\sum _{n=1}^{\\infty }{a}_{n}[\/latex] is a series with positive terms [latex]{a}_{n}[\/latex]. Suppose there exists a function [latex]f[\/latex] and a positive integer [latex]N[\/latex] such that the following three conditions are satisfied:<\/p>\r\n\r\n<ol id=\"fs-id1169737848192\" type=\"i\">\r\n \t<li>[latex]f[\/latex] is continuous,<\/li>\r\n \t<li>[latex]f[\/latex] is decreasing, and<\/li>\r\n \t<li>[latex]f\\left(n\\right)={a}_{n}[\/latex] for all integers [latex]n\\ge N[\/latex].<\/li>\r\n<\/ol>\r\nThen [latex]\\displaystyle\\sum _{n=1}^{\\infty }{a}_{n}\\text{ and }{\\displaystyle\\int }_{N}^{\\infty }f\\left(x\\right)dx[\/latex]both converge or both diverge (see Figure 3).\r\n\r\n<\/section>Although convergence of [latex]\\int_N^{\\infty} f(x)dx[\/latex] implies convergence of the related series [latex]\\displaystyle\\sum_{n=1}^{\\infty} a_n[\/latex], it does not imply that the value of the integral and the series are the same.\r\n<p id=\"fs-id1169737830929\">Consider this example: The series [latex]\\displaystyle\\sum _{n=1}^{\\infty }{\\left(\\frac{1}{e}\\right)}^{n}=\\frac{1}{e}+{\\left(\\frac{1}{e}\\right)}^{2}+{\\left(\\frac{1}{e}\\right)}^{3}+\\cdots [\/latex] is a geometric series with initial term [latex]a=\\frac{1}{e}[\/latex] and ratio [latex]r=\\frac{1}{e}[\/latex].<\/p>\r\nThe series converges to:\r\n<div id=\"fs-id1169737168794\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{\\frac{1}{e}}{1-\\left(\\frac{1}{e}\\right)}=\\frac{\\frac{1}{e}}{\\frac{\\left(e - 1\\right)}{e}}=\\frac{1}{e - 1}[\/latex].<\/div>\r\n<p id=\"fs-id1169737297607\">However, the related integral [latex]{\\displaystyle\\int }_{1}^{\\infty }{\\left(\\frac{1}{e}\\right)}^{x}dx[\/latex] gives us:<\/p>\r\n\r\n<div id=\"fs-id1169737232835\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{\\displaystyle\\int }_{1}^{\\infty }{\\left(\\frac{1}{e}\\right)}^{x}dx={\\displaystyle\\int }_{1}^{\\infty }{e}^{\\text{-}x}dx=\\underset{b\\to \\infty }{\\text{lim}}{\\displaystyle\\int }_{1}^{b}{e}^{\\text{-}x}dx=\\underset{b\\to \\infty }{\\text{lim}}-{e}^{\\text{-}x}{|}_{1}^{b}=\\underset{b\\to \\infty }{\\text{lim}}\\left[\\text{-}{e}^{\\text{-}b}+{e}^{-1}\\right]=\\frac{1}{e}[\/latex].<\/div>\r\n<div data-type=\"equation\" data-label=\"\">So the series sums to [latex]\\frac{1}{e-1}[\/latex] while the integral equals [latex]\\frac{1}{e}[\/latex]\u2014different values, but both finite.<\/div>\r\n<div data-type=\"equation\" data-label=\"\">\r\n\r\nIn the following examples, we explore how to use the integral test.\u00a0 Before doing so, we should note that since one of the conditions of the test is that the function is decreasing, we can use calculus to verify that this condition is met.\r\n\r\n<\/div>\r\n<section class=\"textbox recall\" aria-label=\"Recall\">A differentiable function [latex] f(x) [\/latex] is decreasing on an interval [latex] \\left( a,b \\right) [\/latex] if [latex] f'(x) &lt; 0 [\/latex] for all [latex] x\\in\\left( a,b \\right) [\/latex].<\/section><section class=\"textbox example\" aria-label=\"Example\">\r\n<div id=\"fs-id1169737264790\" data-type=\"problem\">\r\n<p id=\"fs-id1169737264795\">For each of the following series, use the integral test to determine whether the series converges or diverges.<\/p>\r\n\r\n<ol id=\"fs-id1169738048921\" type=\"a\">\r\n \t<li>[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{{n}^{3}}[\/latex]<\/li>\r\n \t<li>[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{\\sqrt{2n - 1}}[\/latex]<\/li>\r\n<\/ol>\r\n<\/div>\r\n[reveal-answer q=\"44558896\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"44558896\"]\r\n<div id=\"fs-id1169738115791\" data-type=\"solution\">\r\n<ol id=\"fs-id1169738115793\" type=\"a\">\r\n \t<li>Compare\r\n<div id=\"fs-id1169738219658\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{{n}^{3}}\\text{and}{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{{x}^{3}}dx[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nWe have<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1169738155194\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{{x}^{3}}dx=\\underset{b\\to \\infty }{\\text{lim}}{\\displaystyle\\int }_{1}^{b}\\frac{1}{{x}^{3}}dx=\\underset{b\\to \\infty }{\\text{lim}}\\left[-\\frac{1}{2{x}^{2}}{|}_{1}^{b}\\right]=\\underset{b\\to \\infty }{\\text{lim}}\\left[-\\frac{1}{2{b}^{2}}+\\frac{1}{2}\\right]=\\frac{1}{2}[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nThus the integral [latex]{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{{x}^{3}}dx[\/latex] converges, and therefore so does the series<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1169737966896\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{{n}^{3}}[\/latex].<\/div>\r\n&nbsp;\r\n<ol>\r\n \t<li>Compare<span data-type=\"newline\">\r\n<\/span><\/li>\r\n<\/ol>\r\n&nbsp;\r\n<div id=\"fs-id1169737981493\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{\\sqrt{2n - 1}}\\text{ and }{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{\\sqrt{2x - 1}}dx[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nSince<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1169738125948\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\begin{array}{cc}\\hfill {\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{\\sqrt{2x - 1}}dx&amp; =\\underset{b\\to \\infty }{\\text{lim}}{\\displaystyle\\int }_{1}^{b}\\frac{1}{\\sqrt{2x - 1}}dx=\\underset{b\\to \\infty }{\\text{lim}}\\sqrt{2x - 1}{|}_{1}^{b}\\hfill \\\\ &amp; =\\underset{b\\to \\infty }{\\text{lim}}\\left[\\sqrt{2b - 1}-1\\right]=\\infty ,\\hfill \\end{array}[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nthe integral [latex]{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{\\sqrt{2x - 1}}dx[\/latex] diverges, and therefore<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1169737169332\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{\\sqrt{2n - 1}}[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\ndiverges.\r\n\r\n[\/hidden-answer]<\/li>\r\n<\/ol>\r\n<\/div>\r\n<\/section><section class=\"textbox tryIt\" aria-label=\"Try It\">[ohm_question hide_question_numbers=1]311397[\/ohm_question]<\/section>","rendered":"<h2 data-type=\"title\">Integral Test<\/h2>\n<p class=\"whitespace-normal break-words\">We&#8217;ve already proved that the harmonic series diverges using partial sums. Now we&#8217;ll use a different approach that&#8217;s powerful enough to handle many other series: the <strong>integral test<\/strong>. The integral test compares an infinite sum to an improper integral. This comparison works because both represent ways of &#8220;adding up&#8221; infinitely many values.<\/p>\n<section class=\"textbox proTip\" aria-label=\"Pro Tip\">\n<p class=\"whitespace-normal break-words\">The integral test only applies to series with <strong>all positive terms<\/strong>.<\/p>\n<\/section>\n<p>Let&#8217;s see how this works with the harmonic series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n}[\/latex].<\/p>\n<p id=\"fs-id1169737790154\">In Figure 1, we represent each term of the series as a rectangle with area [latex]1, \\frac{1}{2}, \\frac{1}{3}, \\frac{1}{4}, \\ldots[\/latex] These rectangles sit above the curve [latex]f(x) = \\frac{1}{x}[\/latex].<\/p>\n<figure style=\"width: 325px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/4175\/2019\/04\/11234342\/CNX_Calc_Figure_09_03_001.jpg\" alt=\"This is a graph in quadrant 1 of a decreasing concave up curve approaching the x-axis \u2013 f(x) = 1\/x. Five rectangles are drawn with base 1 over the interval [1, 6]. The height of each rectangle is determined by the value of the function at the left endpoint of the rectangle\u2019s base. The areas for each are marked: 1, 1\/2, 1\/3, 1\/4, and 1\/5.\" width=\"325\" height=\"201\" data-media-type=\"image\/jpeg\" \/><figcaption class=\"wp-caption-text\">Figure 1. The sum of the areas of the rectangles is greater than the area between the curve [latex]f\\left(x\\right)=\\frac{1}{x}[\/latex] and the [latex]x[\/latex] -axis for [latex]x\\ge 1[\/latex]. Since the area bounded by the curve is infinite (as calculated by an improper integral), the sum of the areas of the rectangles is also infinite.<\/figcaption><\/figure>\n<p>From the graph, we can see that the total area of the rectangles is greater than the area under the curve:<\/p>\n<div id=\"fs-id1169737820611\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{k}\\frac{1}{n}=1+\\frac{1}{2}+\\frac{1}{3}+\\cdots +\\frac{1}{k}>{\\displaystyle\\int }_{1}^{k+1}\\frac{1}{x}dx[\/latex].<\/div>\n<p>Let&#8217;s evaluate that integral:<\/p>\n<div id=\"fs-id1169738142452\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{S}_{k}=\\displaystyle\\sum _{n=1}^{k}\\frac{1}{n}>{\\displaystyle\\int }_{1}^{k+1}\\frac{1}{x}dx=\\text{ln}x{|}_{1}^{k+1}=\\text{ln}\\left(k+1\\right)-\\text{ln}\\left(1\\right)=\\text{ln}\\left(k+1\\right)[\/latex].<\/div>\n<p class=\"whitespace-normal break-words\">Since [latex]\\underset{k\\to \\infty}{\\text{lim}} \\ln(k+1) = \\infty[\/latex], the partial sums [latex]{S_k}[\/latex] are unbounded.<\/p>\n<p class=\"whitespace-normal break-words\">Therefore, [latex]{S_k}[\/latex] diverges, which means the harmonic series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n}[\/latex] also diverges.<\/p>\n<section class=\"textbox proTip\" aria-label=\"Pro Tip\">When the improper integral diverges to infinity, it forces the series to diverge too. The rectangles have more area than the region under the curve, so if the curve&#8217;s area is infinite, the series must also be infinite.<\/section>\n<p>Now let&#8217;s see how the integral test can prove convergence. Consider the series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n^2}[\/latex].<\/p>\n<p>In Figure 2, we sketch rectangles with areas [latex]1, \\frac{1}{2^2}, \\frac{1}{3^2}, \\ldots[\/latex] along with the function [latex]f(x) = \\frac{1}{x^2}[\/latex].<\/p>\n<figure style=\"width: 263px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/4175\/2019\/04\/11234344\/CNX_Calc_Figure_09_03_004.jpg\" alt=\"This is a graph in quadrant 1 of the decreasing concave up curve f(x) = 1\/(x^2), which approaches the x axis. Rectangles of base 1 are drawn over the interval [0, 5]. The height of each rectangle is determined by the value of the function at the right endpoint of its base. The areas of each are marked: 1, 1\/(2^2), 1\/(3^2), 1\/(4^2) and 1\/(5^2).\" width=\"263\" height=\"278\" data-media-type=\"image\/jpeg\" \/><figcaption class=\"wp-caption-text\">Figure 2. The sum of the areas of the rectangles is less than the sum of the area of the first rectangle and the area between the curve [latex]f\\left(x\\right)=\\frac{1}{{x}^{2}}[\/latex] and the [latex]x[\/latex] -axis for [latex]x\\ge 1[\/latex]. Since the area bounded by the curve is finite, the sum of the areas of the rectangles is also finite.<\/figcaption><\/figure>\n<p>&nbsp;<\/p>\n<figure id=\"CNX_Calc_Figure_09_03_001\"><figcaption><\/figcaption><div class=\"mceTemp\"><\/div>\n<\/figure>\n<p id=\"fs-id1169738095548\">Notice that the rectangles sit below the curve, so the total area of the rectangles is less than the area under the curve:<\/p>\n<div id=\"fs-id1169737815648\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{k}\\frac{1}{{n}^{2}}=1+\\frac{1}{{2}^{2}}+\\frac{1}{{3}^{2}}+\\cdots +\\frac{1}{{k}^{2}}<1+{\\displaystyle\\int }_{1}^{k}\\frac{1}{{x}^{2}}dx[\/latex].<\/div>\n<p>Let&#8217;s evaluate this integral:<\/p>\n<div id=\"fs-id1169738223359\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{S}_{k}=\\displaystyle\\sum _{n=1}^{k}\\frac{1}{{n}^{2}}<1+{\\displaystyle\\int }_{1}^{k}\\frac{1}{{x}^{2}}dx=1-{\\frac{1}{x}|}_{1}^{k}=1-\\frac{1}{k}+1=2-\\frac{1}{k}<2[\/latex].<\/div>\n<p>This shows that the partial sums [latex]{S_k}[\/latex] are bounded above by [latex]2[\/latex].<\/p>\n<p>Since [latex]S_k = S_{k-1} + \\frac{1}{k^2}[\/latex] for [latex]k \\geq 2[\/latex], the sequence [latex]{S_k}[\/latex] is also increasing. A sequence that is both increasing and bounded must converge. Since [latex]{S_k}[\/latex] is increasing and bounded, it converges. Therefore, the series [latex]\\displaystyle\\sum_{n=1}^{\\infty} \\frac{1}{n^2}[\/latex] converges.<\/p>\n<h3 class=\"text-lg font-bold text-text-100 mt-1 -mb-1.5\">General Integral Test<\/h3>\n<p>We can extend this approach to test many different series. The key is finding the right function to compare with your series. For a series [latex]\\displaystyle\\sum_{n=1}^{\\infty} a_n[\/latex] with positive terms, we need a continuous, positive, decreasing function [latex]f[\/latex] where [latex]f(n) = a_n[\/latex] for all positive integers, then:<\/p>\n<p class=\"whitespace-normal break-words\"><strong>For convergence<\/strong> (Figure 3a), the [latex]k[\/latex]th partial sum [latex]S_k[\/latex] satisfies:<\/p>\n<p class=\"whitespace-normal break-words\" style=\"text-align: center;\">[latex]S_k = a_1 + a_2 + a_3 + \\cdots + a_k < a_1 + \\int_1^k f(x)dx < 1 + \\int_1^{\\infty} f(x)dx[\/latex]<\/p>\n<p class=\"whitespace-normal break-words\">If [latex]\\int_1^{\\infty} f(x)dx[\/latex] converges, then [latex]{S_k}[\/latex] is bounded and increasing, so the series converges.<\/p>\n<p class=\"whitespace-normal break-words\"><strong>For divergence<\/strong> (Figure 3b), the [latex]k[\/latex]th partial sum satisfies:<\/p>\n<p class=\"whitespace-normal break-words\" style=\"text-align: center;\">[latex]S_k = a_1 + a_2 + a_3 + \\cdots + a_k > \\int_1^{k+1} f(x)dx[\/latex]<\/p>\n<p class=\"whitespace-normal break-words\">If [latex]\\int_1^{\\infty} f(x)dx[\/latex] diverges, then [latex]\\underset{k\\to \\infty}{\\text{lim}} \\int_1^{k+1} f(x)dx = \\infty[\/latex], making [latex]{S_k}[\/latex] unbounded. Therefore the series diverges.<\/p>\n<figure id=\"CNX_Calc_Figure_09_03_002\"><\/figure>\n<figure id=\"CNX_Calc_Figure_09_03_003\">\n<figure style=\"width: 731px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/4175\/2019\/04\/11234347\/CNX_Calc_Figure_09_03_002.jpg\" alt=\"This shows two graphs side by side of the same function y = f(x), a decreasing concave up curve approaching the x axis. Rectangles are drawn with base 1 over the intervals [0, 6] and [1, 6]. For the graph on the left, the height of each rectangle is determined by the value of the function at the right endpoint of its base. For the graph on the right, the height of each rectangle is determined by the value of the function at the left endpoint of its base. Areas a_1 through a_6 are marked in the graph on the left, and the same for a_1 to a_5 on the right.\" width=\"731\" height=\"313\" data-media-type=\"image\/jpeg\" \/><figcaption class=\"wp-caption-text\">Figure 3. (a) If we can inscribe rectangles inside a region bounded by a curve [latex]y=f\\left(x\\right)[\/latex] and the [latex]x[\/latex] -axis, and the area bounded by those curves for [latex]x\\ge 1[\/latex] is finite, then the sum of the areas of the rectangles is also finite. (b) If a set of rectangles circumscribes the region bounded by [latex]y=f\\left(x\\right)[\/latex] and the [latex]x[\/latex] axis for [latex]x\\ge 1[\/latex] and the region has infinite area, then the sum of the areas of the rectangles is also infinite.<\/figcaption><\/figure>\n<\/figure>\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\n<h3>integral test<\/h3>\n<p id=\"fs-id1169738149739\">Suppose [latex]\\displaystyle\\sum _{n=1}^{\\infty }{a}_{n}[\/latex] is a series with positive terms [latex]{a}_{n}[\/latex]. Suppose there exists a function [latex]f[\/latex] and a positive integer [latex]N[\/latex] such that the following three conditions are satisfied:<\/p>\n<ol id=\"fs-id1169737848192\" type=\"i\">\n<li>[latex]f[\/latex] is continuous,<\/li>\n<li>[latex]f[\/latex] is decreasing, and<\/li>\n<li>[latex]f\\left(n\\right)={a}_{n}[\/latex] for all integers [latex]n\\ge N[\/latex].<\/li>\n<\/ol>\n<p>Then [latex]\\displaystyle\\sum _{n=1}^{\\infty }{a}_{n}\\text{ and }{\\displaystyle\\int }_{N}^{\\infty }f\\left(x\\right)dx[\/latex]both converge or both diverge (see Figure 3).<\/p>\n<\/section>\n<p>Although convergence of [latex]\\int_N^{\\infty} f(x)dx[\/latex] implies convergence of the related series [latex]\\displaystyle\\sum_{n=1}^{\\infty} a_n[\/latex], it does not imply that the value of the integral and the series are the same.<\/p>\n<p id=\"fs-id1169737830929\">Consider this example: The series [latex]\\displaystyle\\sum _{n=1}^{\\infty }{\\left(\\frac{1}{e}\\right)}^{n}=\\frac{1}{e}+{\\left(\\frac{1}{e}\\right)}^{2}+{\\left(\\frac{1}{e}\\right)}^{3}+\\cdots[\/latex] is a geometric series with initial term [latex]a=\\frac{1}{e}[\/latex] and ratio [latex]r=\\frac{1}{e}[\/latex].<\/p>\n<p>The series converges to:<\/p>\n<div id=\"fs-id1169737168794\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{\\frac{1}{e}}{1-\\left(\\frac{1}{e}\\right)}=\\frac{\\frac{1}{e}}{\\frac{\\left(e - 1\\right)}{e}}=\\frac{1}{e - 1}[\/latex].<\/div>\n<p id=\"fs-id1169737297607\">However, the related integral [latex]{\\displaystyle\\int }_{1}^{\\infty }{\\left(\\frac{1}{e}\\right)}^{x}dx[\/latex] gives us:<\/p>\n<div id=\"fs-id1169737232835\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{\\displaystyle\\int }_{1}^{\\infty }{\\left(\\frac{1}{e}\\right)}^{x}dx={\\displaystyle\\int }_{1}^{\\infty }{e}^{\\text{-}x}dx=\\underset{b\\to \\infty }{\\text{lim}}{\\displaystyle\\int }_{1}^{b}{e}^{\\text{-}x}dx=\\underset{b\\to \\infty }{\\text{lim}}-{e}^{\\text{-}x}{|}_{1}^{b}=\\underset{b\\to \\infty }{\\text{lim}}\\left[\\text{-}{e}^{\\text{-}b}+{e}^{-1}\\right]=\\frac{1}{e}[\/latex].<\/div>\n<div data-type=\"equation\" data-label=\"\">So the series sums to [latex]\\frac{1}{e-1}[\/latex] while the integral equals [latex]\\frac{1}{e}[\/latex]\u2014different values, but both finite.<\/div>\n<div data-type=\"equation\" data-label=\"\">\n<p>In the following examples, we explore how to use the integral test.\u00a0 Before doing so, we should note that since one of the conditions of the test is that the function is decreasing, we can use calculus to verify that this condition is met.<\/p>\n<\/div>\n<section class=\"textbox recall\" aria-label=\"Recall\">A differentiable function [latex]f(x)[\/latex] is decreasing on an interval [latex]\\left( a,b \\right)[\/latex] if [latex]f'(x) < 0[\/latex] for all [latex]x\\in\\left( a,b \\right)[\/latex].<\/section>\n<section class=\"textbox example\" aria-label=\"Example\">\n<div id=\"fs-id1169737264790\" data-type=\"problem\">\n<p id=\"fs-id1169737264795\">For each of the following series, use the integral test to determine whether the series converges or diverges.<\/p>\n<ol id=\"fs-id1169738048921\" type=\"a\">\n<li>[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{{n}^{3}}[\/latex]<\/li>\n<li>[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{\\sqrt{2n - 1}}[\/latex]<\/li>\n<\/ol>\n<\/div>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q44558896\">Show Solution<\/button><\/p>\n<div id=\"q44558896\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1169738115791\" data-type=\"solution\">\n<ol id=\"fs-id1169738115793\" type=\"a\">\n<li>Compare\n<div id=\"fs-id1169738219658\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{{n}^{3}}\\text{and}{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{{x}^{3}}dx[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nWe have<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1169738155194\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{{x}^{3}}dx=\\underset{b\\to \\infty }{\\text{lim}}{\\displaystyle\\int }_{1}^{b}\\frac{1}{{x}^{3}}dx=\\underset{b\\to \\infty }{\\text{lim}}\\left[-\\frac{1}{2{x}^{2}}{|}_{1}^{b}\\right]=\\underset{b\\to \\infty }{\\text{lim}}\\left[-\\frac{1}{2{b}^{2}}+\\frac{1}{2}\\right]=\\frac{1}{2}[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nThus the integral [latex]{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{{x}^{3}}dx[\/latex] converges, and therefore so does the series<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1169737966896\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{{n}^{3}}[\/latex].<\/div>\n<p>&nbsp;<\/p>\n<ol>\n<li>Compare<span data-type=\"newline\"><br \/>\n<\/span><\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n<div id=\"fs-id1169737981493\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{\\sqrt{2n - 1}}\\text{ and }{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{\\sqrt{2x - 1}}dx[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nSince<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1169738125948\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\begin{array}{cc}\\hfill {\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{\\sqrt{2x - 1}}dx& =\\underset{b\\to \\infty }{\\text{lim}}{\\displaystyle\\int }_{1}^{b}\\frac{1}{\\sqrt{2x - 1}}dx=\\underset{b\\to \\infty }{\\text{lim}}\\sqrt{2x - 1}{|}_{1}^{b}\\hfill \\\\ & =\\underset{b\\to \\infty }{\\text{lim}}\\left[\\sqrt{2b - 1}-1\\right]=\\infty ,\\hfill \\end{array}[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nthe integral [latex]{\\displaystyle\\int }_{1}^{\\infty }\\frac{1}{\\sqrt{2x - 1}}dx[\/latex] diverges, and therefore<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1169737169332\" class=\"unnumbered\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=1}^{\\infty }\\frac{1}{\\sqrt{2n - 1}}[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\ndiverges.<\/p>\n<\/div>\n<\/div>\n<\/li>\n<\/ol>\n<\/div>\n<\/section>\n<section class=\"textbox tryIt\" aria-label=\"Try It\"><iframe loading=\"lazy\" id=\"ohm311397\" class=\"resizable\" src=\"https:\/\/ohm.lumenlearning.com\/multiembedq.php?id=311397&theme=lumen&iframe_resize_id=ohm311397&source=tnh\" width=\"100%\" height=\"150\"><\/iframe><\/section>\n","protected":false},"author":15,"menu_order":19,"template":"","meta":{"_candela_citation":"[]","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"part":671,"module-header":"- Select Header -","content_attributions":[],"internal_book_links":[],"video_content":null,"cc_video_embed_content":{"cc_scripts":"","media_targets":[]},"try_it_collection":null,"_links":{"self":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/884"}],"collection":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/users\/15"}],"version-history":[{"count":12,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/884\/revisions"}],"predecessor-version":[{"id":2320,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/884\/revisions\/2320"}],"part":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/parts\/671"}],"metadata":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/884\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/media?parent=884"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapter-type?post=884"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/contributor?post=884"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/license?post=884"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}