CalcPath
ProgressProblem setsFeedback
← Question sheet

Calculus · Solutions

Sequences & Series

12 questions · about 108 minutes

Work this sheet on paper, showing every step — the method is what is being tested, and the solutions are written so you can check your route rather than just your answer. Name every test you use (“by the Limit Comparison Test with bn​=1/n2”, “by the Alternating Series Test”) and verify its hypotheses before drawing a conclusion; a test whose hypotheses fail proves nothing. No calculator is needed anywhere: every sum and every bound comes out exact. Full worked solutions are on a separate page; each question also has its own reveal, so you can check one answer without seeing the rest.

  1. 1.Computation

    Find the limit of each sequence, or show that it diverges. Name the result that licenses each step (a limit law, the Squeeze Theorem, the corollary on absolute values, the Monotone Sequence Theorem).

    1. (a)an​=2n2+53n2−n​
    2. (b)bn​=n2+4n​−n
    3. (c)cn​=n+1(−1)nn​​
    4. (d)a1​=1 and an+1​=3an​+4​. Prove that the sequence converges before you find its limit.

    Solution

    (a) Divide by the dominant power. Dividing numerator and denominator by n2,

    2n2+53n2−n​=2+n25​3−n1​​.

    Since n1​→0 and n25​→0, the sum and constant-multiple laws give numerator →3 and denominator →2=0, so the quotient law gives an​→23​.

    (b) Rationalise. The form is ∞−∞, so nothing may be concluded from the pieces. Multiply and divide by the conjugate:

    n2+4n​−n=n2+4n​+n(n2+4n)−n2​=n2+4n​+n4n​=1+n4​​+14​,

    where the last step divides top and bottom by n>0 (so n2​=n). The denominator tends to 1+1=2 by continuity of the square root, so bn​→2.

    Sanity check: b100​=10400​−100≈101.98−100=1.98.

    (c) Absolute values. The sign flips make cn​ itself hard to handle directly, so look at its size:

    0≤∣cn​∣=n+1n​​<nn​​=n​1​⟶0.

    By the Squeeze Theorem ∣cn​∣→0, and by the corollary on absolute values cn​→0. (Contrast (−1)n, whose absolute value tends to 1: there the corollary says nothing and the sequence diverges.)

    (d) Monotone Sequence Theorem. Compute a few terms to see what to prove: a1​=1, a2​=7​≈2.65, a3​=37​+4​≈3.46. The terms seem to rise toward 4.

    Bounded above by 4. True for a1​=1. If an​<4 then 3an​+4<16, so an+1​=3an​+4​<4. By induction every term is below 4. Every term is also positive, since a1​>0 and square roots are nonnegative.

    Increasing. Because both sides are positive, an+1​>an​ is equivalent to 3an​+4>an2​, that is an2​−3an​−4<0, that is (an​−4)(an​+1)<0. With 0<an​<4 the first factor is negative and the second positive, so the inequality holds.

    The sequence is increasing and bounded above, so by the Monotone Sequence Theorem it converges to some L. Now, and only now, take limits in the recursion: an+1​→L as well, and the square root is continuous, so

    L=3L+4​⟹L2−3L−4=0⟹(L−4)(L+1)=0.

    Since every term is at least a1​=1, so is L, which rules out −1. The limit is 4. Solving the equation before proving convergence would have been a bluff: for a divergent sequence the equation can still have a solution, and that solution means nothing.

  2. 2.Computation

    Sum each series exactly. Identify the first term actually present and the common ratio, and state why the series converges before you use the formula. In (d), find every x for which the series converges before summing.

    1. (a)n=2∑∞​5n3n+1​
    2. (b)The repeating decimal 0.463=0.4636363…, written as a ratio of integers in lowest terms.
    3. (c)n=1∑∞​3n2n+(−1)n​
    4. (d)n=0∑∞​2n(x−3)n​

    Solution

    (a) Read off the first term present. The term is 3⋅(53​)n, so the ratio is r=53​ with ∣r∣<1: the series converges. The first term present is at n=2: 5233​=2527​. Then

    n=2∑∞​5n3n+1​=1−rfirst term​=1−3/527/25​=2/527/25​=1027​.

    Sanity check: 1.08+0.648+0.389≈2.12 after three terms, and the remaining tail is 0.233/(1−0.6)≈0.58, giving 2.70.

    (b) Separate the non-repeating part.

    0.4636363…=104​+10363​+10563​+10763​+⋯

    After 104​ the terms are geometric with first term a=100063​ and ratio r=1001​, so they sum to

    1−1/10063/1000​=99/10063/1000​=99063​=1107​.

    Hence 0.463=104​+1107​=11044​+1107​=11051​. Lowest terms: 51=3⋅17 and 110=2⋅5⋅11 share no factor. Check: 110×0.4636≈51.0.

    (c) Split, because both pieces converge. Term by term,

    3n2n+(−1)n​=(32​)n+(−31​)n.

    Both are geometric with ∣r∣<1, so each series converges on its own, and the algebra of convergent series allows the split. First: ∑n≥1​(32​)n=1−2/32/3​=2. Second: ∑n≥1​(−31​)n=1+1/3−1/3​=4/3−1/3​=−41​. Total 2−41​=47​.

    Sanity check: partial sums 31​, 98​, 1.15, 1.36, 1.49,… climbing toward 1.75.

    (d) A geometric series with a variable ratio. Here a=1 and r=2x−3​. It converges exactly when ​2x−3​​<1, that is ∣x−3∣<2, that is 1<x<5. At x=1 and x=5 the ratio is ∓1, the terms do not tend to 0, and the series diverges. For 1<x<5,

    n=0∑∞​2n(x−3)n​=1−2x−3​1​=2−(x−3)2​=5−x2​.

    Check at x=3: the series is 1+0+0+⋯=1 and the formula gives 22​=1. This is a power series centred at 3 with radius 2, summed by the one method that gives a closed form.

  3. 3.Computation

    Each series telescopes. In every case write the partial sum sN​ explicitly, showing which terms survive the cancellation, before you take the limit.

    1. (a)n=1∑∞​(2n−1)(2n+1)2​
    2. (b)n=1∑∞​n(n+3)1​
    3. (c)n=1∑∞​ln((n+1)2n(n+2)​)

    Solution

    (a) Partial fractions, gap of one. Write (2n−1)(2n+1)2​=2n−1A​+2n+1B​, so 2=A(2n+1)+B(2n−1). Setting n=21​ gives A=1; setting n=−21​ gives B=−1. So an​=2n−11​−2n+11​, which is bn​−bn+1​ with bn​=2n−11​, and

    sN​=(1−31​)+(31​−51​)+⋯+(2N−11​−2N+11​)=1−2N+11​.

    As N→∞, sN​→1. Check: s2​=32​+152​=54​=1−51​.

    (b) Gap of three: three survivors at each end. Partial fractions give n(n+3)1​=31​(n1​−n+31​). Write out enough of 3sN​ to see the pattern:

    3sN​=(1−41​)+(21​−51​)+(31​−61​)+(41​−71​)+⋯+(N1​−N+31​).

    Every negative −k1​ with 4≤k≤N is cancelled by the positive k1​ three brackets later. What survives is the three leading positives and the three trailing negatives:

    sN​=31​(1+21​+31​−N+11​−N+21​−N+31​)=31​(611​−N+11​−N+21​−N+31​).

    The three tail fractions tend to 0, so the sum is 31​⋅611​=1811​. Check at N=1: the formula gives 31​(611​−21​−31​−41​)=31​⋅1222−6−4−3​=31​⋅129​=41​, which is a1​. Answering 31​⋅1 by cancelling “everything” would be wrong: the gap leaves three survivors, not one.

    (c) A logarithm that telescopes. By the laws of logarithms,

    ln(n+1)2n(n+2)​=lnn+1n​−lnn+2n+1​,

    so with bn​=lnn+1n​ the term is bn​−bn+1​ and sN​=b1​−bN+1​=ln21​−lnN+2N+1​. Since N+2N+1​→1 and ln is continuous at 1, the second logarithm tends to ln1=0, and

    n=1∑∞​ln(n+1)2n(n+2)​=ln21​=−ln2.

    Check: s3​=ln43​+ln98​+ln1615​=ln4⋅9⋅163⋅8⋅15​=ln576360​=ln85​, and the formula gives ln21​−ln54​=ln85​ as well. A negative sum is fine: every term is the logarithm of a number below 1.

  4. 4.Critique

    Three students' arguments follow. Each reaches a false conclusion. For each: quote the sentence that is wrong, name the theorem or hypothesis being misused, and give the correct verdict with a correct reason.

    1. (a)“For n=1∑∞​n​1​: the terms 1/n​ tend to 0, so by the Divergence Test the series converges.”
    2. (b)“For n=1∑∞​(−1)nnn+1​: the signs alternate and bn​=nn+1​=1+n1​ is decreasing, so the Alternating Series Test shows the series converges.”
    3. (c)“For n=1∑∞​(1−n1​)n: the base 1−n1​ is less than 1, so (1−n1​)n decays like rn with r<1, and the series converges by comparison with a geometric series.”

    Solution

    (a) The wrong sentence is “so by the Divergence Test the series converges.” The Divergence Test runs in one direction only: if an​→0 then ∑an​ diverges. When an​→0 it says nothing at all; it never proves convergence. Terms tending to 0 is necessary for convergence, not sufficient.

    Correct verdict: this is a p-series with p=21​≤1, so it diverges. (Via the Integral Test: ∫1∞​x−1/2dx=limt→∞​(2t​−2)=∞.) The student's conclusion is not just unjustified but false.

    (b) The wrong sentence is “so the Alternating Series Test shows the series converges.” The test has two hypotheses, and the student checked only one. The other is bn​→0, and here bn​=1+n1​→1=0. The test does not apply.

    Correct verdict: the terms (−1)n(1+n1​) approach −1,1,−1,1,… and have no limit, so by the Divergence Test the series diverges. Check: the partial sums run −2, −0.5, −1.83, −0.58,… and never settle.

    (c) The wrong sentence is “decays like rn with r<1.” Comparison with a geometric series needs a fixed ratio r<1. Here the base 1−n1​ is below 1 but climbs toward 1 as the exponent grows, and the two effects compete; there is no single r with (1−n1​)n≤rn for all large n.

    Compute the limit of the terms instead. Take logarithms: ln(1−n1​)n=nln(1−n1​). Pass to the function xln(1−1/x)=1/xln(1−1/x)​, which is of the form 00​ as x→∞. L'Hôpital's Rule (both parts differentiable for x>1, denominator's derivative −1/x2=0) gives

    x→∞lim​1/xln(1−1/x)​=x→∞lim​−1/x21−1/x1/x2​​=x→∞lim​1−1/x−1​=−1.

    By the theorem on sequence limits from function limits, nln(1−n1​)→−1, and since exp is continuous, (1−n1​)n→e−1=0. By the Divergence Test the series diverges. Sanity check: 0.910≈0.349, close to 1/e≈0.368 and nowhere near 0.

  5. 5.Sketch

    Let HN​=1+21​+31​+⋯+N1​. This question asks for the picture behind the Integral Test, and then makes the picture pay.

    1. (a)On one set of axes draw y=1/x for 1≤x≤5 together with four rectangles of width 1 whose areas are 21​,31​,41​,51​ and which lie entirely below the curve. On a second set of axes draw the curve with four rectangles of areas 1,21​,31​,41​ lying entirely above it. For each picture say exactly where each rectangle touches the curve, and which hypothesis of the Integral Test guarantees that the rectangle is on the correct side.
    2. (b)Read off from the two pictures, for a general N, the inequalities ln(N+1)≤HN​≤1+lnN, computing the integral that appears.
    3. (c)Deduce that the harmonic series diverges, and show that HN​<20 for every N<e19.

    Solution

    (a) The rectangles below the curve. Draw y=1/x falling from (1,1) to (5,51​). For k=2,3,4,5 put a rectangle on the base [k−1,k] with height k1​: on [1,2] height 21​, on [2,3] height 31​, on [3,4] height 41​, on [4,5] height 51​. Each has area k1​, and its top-right corner (k,k1​) sits on the curve. Its top edge runs to the left from there, and stays under the curve because f(x)=1/x is decreasing: for x≤k we have 1/x≥1/k. The picture is a staircase tucked under the curve, touching it at the right end of every step. Its total area 21​+31​+41​+51​=H5​−1 is at most ∫15​xdx​.

    The rectangles above the curve. Redraw the curve, and for k=1,2,3,4 put a rectangle on the base [k,k+1] with height k1​: on [1,2] height 1, on [2,3] height 21​, on [3,4] height 31​, on [4,5] height 41​. Now the top-left corner (k,k1​) is on the curve, and the top edge runs to the right above the curve, again because f is decreasing: for x≥k, 1/x≤1/k. Its total area 1+21​+31​+41​=H4​ is at least ∫15​xdx​.

    The other two hypotheses do quieter jobs: positivity makes every area a genuine area and the partial sums increasing, and continuity makes the integral meaningful. Decreasing is what decides the side.

    (b) The general inequalities. Below the curve, use the N−1 rectangles of heights 21​,…,N1​ on [1,N]:

    HN​−1=21​+⋯+N1​≤∫1N​xdx​=[lnx]1N​=lnN,soHN​≤1+lnN.

    Above the curve, use the N rectangles of heights 1,…,N1​ on [1,N+1]:

    HN​=1+21​+⋯+N1​≥∫1N+1​xdx​=ln(N+1).

    Check at N=4: ln5≈1.609≤H4​=1225​≈2.083≤1+ln4≈2.386.

    (c) Divergence, and how slow it is. From the lower bound, HN​≥ln(N+1)→∞, so the partial sums of ∑n1​ are unbounded and the harmonic series diverges. (This is the Integral Test's proof, with the integral computed.)

    From the upper bound, HN​≤1+lnN. If N<e19 then lnN<19, so HN​<1+19=20. Since e19 is roughly 1.8×108, none of the first hundred and eighty million partial sums reaches 20: the series diverges, but at the pace of lnN, and no amount of adding by hand will ever show it.

  6. 6.Computation

    Decide whether each series converges. Use a comparison test each time: name the comparison series, say whether you are using direct or limit comparison, and exhibit either the inequality (with its direction) or the limit (with its value).

    1. (a)n=1∑∞​n4+3n2n2+1​
    2. (b)n=1∑∞​n2−n+1​1​
    3. (c)n=1∑∞​4n−2n3n​
    4. (d)n=1∑∞​n1+1/n1​ — you may quote nn​→1.

    Solution

    (a) Limit comparison with 1/n2. Keeping the dominant powers, the term looks like n42n2​=n22​. With bn​=n21​,

    bn​an​​=n4+3n(2n2+1)n2​=1+n33​2+n21​​⟶2,

    which is finite and positive. Since ∑1/n2 converges (p=2>1), the series converges by the Limit Comparison Test. (Direct comparison also works: n4+3n2n2+1​≤n43n2​=n23​.)

    (b) Direct comparison with the harmonic series. For n≥1, n2−n+1≤n2 because 1−n≤0; and n2−n+1>0 always (its discriminant 1−4 is negative). Taking square roots of positive quantities, n2−n+1​≤n, so

    n2−n+1​1​≥n1​>0.

    The series dominates ∑n1​, which diverges, so it diverges by the Direct Comparison Test. Direction check: to prove divergence one must bound below by a divergent series, which is what was done.

    (c) Comparison with a geometric series. For large n the 2n is negligible next to 4n, so the term behaves like (43​)n. Limit comparison with bn​=(43​)n:

    bn​an​​=4n−2n3n​⋅3n4n​=1−(21​)n1​⟶1.

    Since ∑(43​)n is geometric with ratio below 1, the series converges. A direct comparison is available too: for n≥1, 2n≤21​⋅4n (equivalently 2≤2n), so 4n−2n≥21​⋅4n and 0<an​≤2(43​)n.

    (d) Not a p-series. The tempting argument “the exponent exceeds 1, so it converges” is wrong: the p-series rule needs a constant exponent, and 1+n1​ shrinks toward 1. Limit comparison with bn​=n1​:

    bn​an​​=n1+1/nn​=n1/n1​⟶11​=1,

    using nn​→1 (which follows from lnnn​=nlnn​→0 and continuity of exp). The harmonic series diverges, so this series diverges. Its terms are only a factor n1/n, which tends to 1, smaller than n1​ — not nearly enough.

  7. 7.Computation

    Both parts concern alternating series. State both hypotheses of the Alternating Series Test each time you use it and verify them; where the terms are not obviously decreasing, use a derivative.

    1. (a)Show that n=1∑∞​(−1)nn+4n​​ converges, then decide whether the convergence is absolute or conditional.
    2. (b)Let S=n=1∑∞​n!(−1)n​. Find the smallest N for which the Alternating Series Estimation Theorem guarantees ∣S−sN​∣<50001​, compute that sN​ exactly as a fraction in lowest terms, and say on which side of sN​ the true sum lies.

    Solution

    (a) The two hypotheses. Here bn​=n+4n​​>0.

    Limit. Dividing by n: bn​=1+4/n1/n​​→10​=0.

    Decreasing. Let f(x)=x+4x​​. By the quotient rule,

    f′(x)=(x+4)22x​1​(x+4)−x​​=2x​(x+4)2(x+4)−2x​=2x​(x+4)24−x​,

    which is negative for x>4. So bn+1​≤bn​ for all n≥4, and “for all large n” is all the test asks (the first few terms never affect convergence). By the Alternating Series Test the series converges.

    Absolute or conditional? ∣an​∣=n+4n​​ behaves like nn​​=n​1​. Limit comparison with n​1​:

    n+4n​​⋅n​=n+4n​⟶1,

    and ∑1/n​ diverges (p=21​), so ∑∣an​∣ diverges. The series converges conditionally: the cancellation between signs is doing all the work.

    (b) Error control. Here bn​=n!1​: positive, decreasing (since (n+1)!1​=n+11​⋅n!1​) and tending to 0, so the estimation theorem applies: ∣S−sN​∣≤bN+1​=(N+1)!1​. We need (N+1)!>5000. Since 6!=720 and 7!=5040, the smallest choice is N+1=7, that is N=6; with N=5 the guarantee is only 7201​.

    Now add six terms over the common denominator 720:

    s6​=−1+21​−61​+241​−1201​+7201​=720−720+360−120+30−6+1​=720−455​=−14491​,

    dividing by 5; and 91=7⋅13, 144=24⋅32 share no factor.

    The sign of S−s6​ is the sign of the first omitted term, 7!(−1)7​<0, so the true sum lies below s6​:

    −14491​−50401​<S<−14491​.

    A check that needs no calculator's trust: the series is the exponential series at x=−1 with the n=0 term removed, so S=e−1−1≈−0.63212, while −14491​≈−0.63194. The true value is indeed below, by about 0.00018<50401​≈0.000198.

  8. 8.Proof

    Recall that ∑an​ converges absolutely if ∑∣an​∣ converges, and conditionally if ∑an​ converges but ∑∣an​∣ does not.

    1. (a)Classify n=2∑∞​(−1)nnlnn​ as absolutely convergent, conditionally convergent or divergent.
    2. (b)Prove: if ∑an​ converges absolutely, then ∑an2​ converges.
    3. (c)Show by example that neither converse holds: give a series ∑an​ with ∑an2​ convergent but ∑an​ not absolutely convergent, and a series ∑an​ that converges while ∑an2​ diverges.

    Solution

    (a) Let bn​=nlnn​, positive for n≥2.

    Limit. The form is ∞∞​; pass to f(x)=xlnx​ and apply L'Hôpital's Rule: 11/x​→0. By the theorem on sequence limits from function limits, bn​→0.

    Decreasing. f′(x)=x21−lnx​<0 for x>e, so bn​ decreases from n=3 onward, which is enough.

    By the Alternating Series Test the series converges. For absolute convergence look at ∑nlnn​: for n≥3 we have lnn≥1, hence nlnn​≥n1​>0, and the harmonic series diverges, so ∑nlnn​ diverges by the Direct Comparison Test. The series is conditionally convergent.

    (b) Proof. Suppose ∑∣an​∣ converges. The terms of a convergent series tend to 0, so ∣an​∣→0, and therefore there is an index N with ∣an​∣<1 for every n>N. For such n,

    0≤an2​=∣an​∣⋅∣an​∣≤∣an​∣⋅1=∣an​∣.

    So beyond N the nonnegative terms an2​ are dominated by the terms of the convergent series ∑∣an​∣, and the Direct Comparison Test (whose hypothesis is only required for all n beyond some index) shows that ∑an2​ converges. ■

    Note exactly where absolute convergence was used: to know that ∣an​∣ is eventually below 1, so that squaring makes the terms smaller rather than larger. That is the only ingredient.

    (c) Both converses fail.

    Squares converge, absolute values do not. Take an​=n1​. Then ∑an2​=∑n21​ converges (p=2), while ∑∣an​∣=∑n1​ diverges.

    The series converges, its squares do not. Take an​=n​(−1)n​. Since n​1​ decreases to 0, the Alternating Series Test gives convergence (conditional, as ∑1/n​ diverges). But an2​=n1​, and ∑n1​ diverges.

    The second example shows why the hypothesis in (b) had to be absolute convergence: squaring destroys the signs, and a series that converged only because of cancellation between signs loses its reason to converge.

  9. 9.Computation

    For each series choose the Ratio Test or the Root Test, say why that one, compute the limit L exactly, and state the verdict. You may quote (1+n1​)n→e.

    1. (a)n=1∑∞​(2n)!(n!)2​
    2. (b)n=1∑∞​(n+1n​)n2
    3. (c)n=1∑∞​n!2nnn​
    4. (d)n=1∑∞​n2+n1​ — report what the Ratio Test says, then settle the series by another method and find its sum.

    Solution

    (a) Ratio Test, because of the factorials. Consecutive factorials collapse:

    an​an+1​​=(2n+2)!((n+1)!)2​⋅(n!)2(2n)!​=(2n+2)(2n+1)(n+1)2​=2(2n+1)n+1​⟶41​<1.

    The series converges (absolutely). Sanity check: a1​=21​, a2​=244​=61​, a3​=72036​=201​; the ratios 31​,103​,… are heading to 41​.

    (b) Root Test, because the whole term is an nth power. The exponent is n2, so an nth root leaves an exponent of n:

    nan​​=(n+1n​)n=(1+n1​)n1​⟶e1​<1.

    The series converges. (The Ratio Test would face (n+2n+1​)(n+1)2/(n+1n​)n2, which is far more work for the same answer.)

    (c) Ratio Test, because of the factorial.

    an​an+1​​=(n+1)!2n+1(n+1)n+1​⋅nnn!2n​=(n+1)⋅2⋅nn(n+1)n+1​=21​(nn+1​)n=21​(1+n1​)n⟶2e​>1.

    The series diverges; its terms grow, since nn outruns n!2n.

    (d) The Ratio Test is silent.

    an​an+1​​=(n+1)2+(n+1)n2+n​=(n+1)(n+2)n(n+1)​=n+2n​⟶1,

    so L=1 and the test decides nothing — as it never does for a rational function of n. Reporting “diverges” here would be an error. Instead, partial fractions: n(n+1)1​=n1​−n+11​, so the series telescopes,

    sN​=(1−21​)+(21​−31​)+⋯+(N1​−N+11​)=1−N+11​⟶1.

    The series converges, with sum 1. (Limit comparison with n21​ would also prove convergence, but not give the sum.)

  10. 10.Computation

    Find the radius and the interval of convergence of each power series. Test every endpoint with a named test. You may use without proof that (1+n1​)n increases to e, so that (1+n1​)n<e for every n.

    1. (a)n=1∑∞​n4n(−1)n(2x+1)n​
    2. (b)n=1∑∞​n9nx2n​
    3. (c)n=1∑∞​nnn!xn​

    Solution

    (a) Ratio Test on absolute values.

    ​an​an+1​​​=(n+1)4n+1∣2x+1∣n+1​⋅∣2x+1∣nn4n​=4∣2x+1∣​⋅n+1n​⟶4∣2x+1∣​.

    Convergence needs ∣2x+1∣<4, that is ​x+21​​<2. The centre is −21​ and the radius is R=2 — not 4: the factor of 2 inside 2x+1 halves it. The candidate interval is (−25​,23​).

    At x=23​: 2x+1=4 and the term is n4n(−1)n4n​=n(−1)n​, the alternating harmonic series, which converges by the Alternating Series Test (n1​ decreases to 0).

    At x=−25​: 2x+1=−4 and (−1)n(−4)n=4n, so the term is n1​: the harmonic series, which diverges.

    Interval of convergence: (−25​,23​].

    (b) Only even powers. Consecutive terms differ by a factor involving x2, not x:

    ​an​an+1​​​=(n+1)9n+1∣x∣2n+2​⋅∣x∣2nn9n​=9x2​⋅n+1n​⟶9x2​.

    This is below 1 exactly when x2<9, that is ∣x∣<3: centre 0, R=3. At x=±3 the term is n9n9n​=n1​ in both cases, and the harmonic series diverges. Interval of convergence: (−3,3).

    (c) Ratio Test with the given fact.

    ​an​an+1​​​=(n+1)n+1(n+1)!∣x∣n+1​⋅n!∣x∣nnn​=∣x∣⋅(n+1)n+1(n+1)nn​=∣x∣(n+1n​)n=(1+n1​)n∣x∣​⟶e∣x∣​.

    Convergence for ∣x∣<e, so R=e about the centre 0.

    At the endpoints x=±e the Ratio Test returns L=1 and is silent, so look at the terms themselves: ∣an​∣=nnn!en​. From the computation above with ∣x∣=e,

    ∣an​∣∣an+1​∣​=(1+n1​)ne​>1,

    because (1+n1​)n<e. So ∣an​∣ is strictly increasing, hence ∣an​∣≥∣a1​∣=e for every n, and the terms cannot tend to 0. By the Divergence Test the series diverges at x=e and at x=−e alike (the sign pattern does not matter; the terms fail to shrink).

    Interval of convergence: (−e,e).

  11. 11.Proof

    Quote Taylor's Theorem in Lagrange form, or Taylor's Inequality, by name each time you use one, and say what n, a and z (or M) are. In (c) you may use that e=n=0∑∞​n!1​.

    1. (a)Prove that for every x>0, 6x3​<ex−1−x−2x2​<6x3​ex.
    2. (b)Deduce the value of x→0+lim​x3ex−1−x−x2/2​ without L'Hôpital's Rule and without series.
    3. (c)Prove that e is irrational. (Suppose e=p/q with positive integers p,q, multiply by q!, and show that the tail q!∑n>q​1/n! would be an integer strictly between 0 and 1.)

    Solution

    (a) The Lagrange remainder, two-sided. Take f(x)=ex, centre a=0 and n=2. The Taylor polynomial is T2​(x)=1+x+2x2​, so the middle quantity is exactly the remainder R2​(x)=f(x)−T2​(x). Since f has continuous derivatives of every order, Taylor's Theorem in Lagrange form gives a number z strictly between 0 and x with

    R2​(x)=3!f′′′(z)​x3=6ez​x3.

    For x>0 we have 0<z<x, and exp is strictly increasing, so 1=e0<ez<ex. Multiplying through by 6x3​>0 preserves the strict inequalities:

    6x3​<R2​(x)<6x3​ex.■

    Taylor's Inequality with M=ex would give only the upper bound, and only with ≤; the Lagrange form is what gives the lower bound and the strictness. Check at x=1: e−2.5≈0.218, between 61​≈0.167 and 6e​≈0.453.

    (b) Squeeze. Divide (a) by x3>0:

    61​<x3ex−1−x−x2/2​<6ex​.

    As x→0+ the right-hand bound tends to 6e0​=61​ by continuity of exp, and the left-hand bound is the constant 61​. By the Squeeze Theorem the limit is 61​. (This is the coefficient of x3 in the exponential series, as it should be.)

    (c) Proof that e is irrational. Suppose, for contradiction, that e=qp​ with positive integers p and q. Multiply the series for e by q! and split it at n=q:

    q!e=n=0∑q​n!q!​+n=q+1∑∞​n!q!​.

    (The split is legitimate: the first piece is a finite sum and the second is the tail of a convergent series, and both converge.) The left side is q!⋅qp​=p(q−1)!, an integer. In the first sum every n≤q gives n!q!​=(n+1)(n+2)⋯q, an integer; call the first sum A. Therefore the tail

    T=q!e−A=n=q+1∑∞​n!q!​

    is an integer.

    Now bound T. Every term is positive, so T>0. For n≥q+1,

    n!q!​=(q+1)(q+2)⋯n1​,

    a product of n−q factors each at least q+1, so n!q!​≤(q+1)n−q1​, with strict inequality as soon as n≥q+2. Summing over n≥q+1 and writing k=n−q,

    T<k=1∑∞​(q+1)k1​=1−1/(q+1)1/(q+1)​=q1​≤1,

    the middle step being a geometric series with ratio q+11​<1 and first term q+11​. So T is an integer with 0<T<1, which is impossible. Hence e is irrational. ■

    The whole proof rests on one comparison: the factorial tail ∑n>q​n!q!​ is beaten by a geometric tail, and a geometric tail can be summed exactly. (With q=1 the same argument shows e−2∈(0,1), that is, e is not even an integer.)

  12. 12.Computation

    Every part is a computation with series. Give exact values where they exist; in (b) give the bound that guarantees the accuracy, with the theorem that supplies it.

    1. (a)x→0lim​x2ln(1+x)−sinx​
    2. (b)Approximate ∫01/2​xsinx​dx with error below 10−4, giving the approximation as an exact fraction and saying on which side of it the true value lies.
    3. (c)Evaluate n=0∑∞​(2n+1)3n(−1)n​ exactly, by recognising it as a standard Maclaurin series at a particular point and checking that the point lies in the interval of convergence.

    Solution

    (a) Expand both pieces to one order past the cancellation. For ∣x∣<1,

    ln(1+x)=x−2x2​+3x3​−⋯,sinx=x−6x3​+⋯

    The linear terms cancel, and the numerator is

    ln(1+x)−sinx=−2x2​+(31​+61​)x3+⋯=−2x2​+2x3​+⋯

    Dividing by x2 gives −21​+2x​+⋯, a power series, hence continuous inside its interval of convergence, so the limit is −21​. Check at x=0.01: ln1.01≈0.0099503 and sin0.01≈0.0099998; the difference −0.0000495 divided by 10−4 is −0.495.

    (b) Integrate the series term by term. Dividing the sine series by x,

    xsinx​=n=0∑∞​(2n+1)!(−1)nx2n​=1−6x2​+120x4​−⋯

    for all x=0, and the series takes the value 1 at x=0, so it represents the integrand (extended continuously) on all of [0,21​] with infinite radius. Term-by-term integration is therefore legal:

    ∫01/2​xsinx​dx=n=0∑∞​(2n+1)(2n+1)!(−1)n(1/2)2n+1​=21​−8⋅3⋅61​+32⋅5⋅1201​−128⋅7⋅50401​+⋯

    =21​−1441​+192001​−45158401​+⋯

    This is an alternating series whose terms decrease to 0, so by the Alternating Series Estimation Theorem the error after N terms is at most the first omitted term. The bound 1441​≈0.0069 is too large, but 192001​≈0.000052<10−4, so two terms suffice:

    ∫01/2​xsinx​dx≈21​−1441​=14472−1​=14471​≈0.49306.

    The first omitted term +192001​ is positive, so the true value lies above the estimate:

    14471​<∫01/2​xsinx​dx<14471​+192001​.

    (The true value is 0.49311…, inside the bracket.)

    (c) Recognise the arctangent series. The standard series is

    arctanx=n=0∑∞​2n+1(−1)nx2n+1​,∣x∣≤1.

    To match (2n+1)3n1​ we need x2n+1 to produce 3−n: take x=3​1​, for which x2n+1=3n3​1​. Then

    arctan3​1​=3​1​n=0∑∞​(2n+1)3n(−1)n​,son=0∑∞​(2n+1)3n(−1)n​=3​arctan3​1​=3​⋅6π​=6π3​​.

    The point x=3​1​ satisfies ∣x∣<1, strictly inside the interval of convergence, so the substitution is legitimate (and the series in fact converges absolutely, since its terms are dominated by the geometric 3−n). Check: 1−91​+451​−1891​+7291​≈0.9072, against 6π3​​≈0.9069.

← Back to the question sheet

CalcPath·Free university mathematics

SubjectsProblem setsProgressFeedbackAbout