Skip to main content

Sequences and Series

Sequences and series apply the limit concept to infinite lists and infinite sums. A sequence asks whether the terms ana_n settle toward a value. A series asks whether the accumulated partial sums a1+a2++ana_1+a_2+\cdots+a_n settle toward a finite total. These are related questions, but they are not the same question.

Infinite series are essential for approximating functions, solving differential equations, estimating errors, and understanding power series. The work is mostly diagnostic: identify the structure of the terms, choose an appropriate convergence test, and state exactly what the test proves.

Definitions

A sequence is an ordered list

{an}n=1.\{a_n\}_{n=1}^{\infty}.

It converges to LL if

limnan=L.\lim_{n\to\infty}a_n=L.

If no finite limit exists, the sequence diverges.

An infinite series is

n=1an.\sum_{n=1}^{\infty}a_n.

Its NNth partial sum is

sN=n=1Nan.s_N=\sum_{n=1}^{N}a_n.

The series converges to SS if the sequence of partial sums {sN}\{s_N\} converges to SS:

n=1an=S.\sum_{n=1}^{\infty}a_n=S.

A geometric series has form

n=0arn.\sum_{n=0}^{\infty} ar^n.

It converges when r<1\vert r\vert \lt 1 and then

n=0arn=a1r.\sum_{n=0}^{\infty} ar^n=\frac{a}{1-r}.

A pp-series is

n=11np.\sum_{n=1}^{\infty}\frac{1}{n^p}.

It converges if p>1p\gt 1 and diverges if p1p\le 1.

Key results

The nth-term test for divergence says:

If limnan0 or does not exist, then an diverges.\text{If }\lim_{n\to\infty}a_n\ne 0\text{ or does not exist, then }\sum a_n\text{ diverges.}

The converse is false. If an0a_n\to 0, the series may converge or diverge. For example, 1/n\sum 1/n diverges even though 1/n01/n\to 0.

The Integral Test applies when an=f(n)a_n=f(n) and ff is positive, continuous, and decreasing for large xx:

n=1anand1f(x)dx\sum_{n=1}^{\infty}a_n \quad\text{and}\quad \int_1^\infty f(x)\,dx

converge or diverge together.

The Direct Comparison Test uses inequalities. If 0anbn0\le a_n\le b_n and bn\sum b_n converges, then an\sum a_n converges. If 0bnan0\le b_n\le a_n and bn\sum b_n diverges, then an\sum a_n diverges.

The Limit Comparison Test says that for positive terms, if

limnanbn=c\lim_{n\to\infty}\frac{a_n}{b_n}=c

where 0<c<0\lt c\lt \infty, then an\sum a_n and bn\sum b_n have the same convergence behavior.

The Alternating Series Test applies to

n=1(1)n1bn\sum_{n=1}^{\infty}(-1)^{n-1}b_n

when bn0b_n\ge 0, bn+1bnb_{n+1}\le b_n eventually, and bn0b_n\to 0. The series converges, and the error after NN terms satisfies

RNbN+1.|R_N|\le b_{N+1}.

The Ratio Test examines

L=limnan+1an.L=\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|.

If L<1L\lt 1, the series converges absolutely. If L>1L\gt 1 or L=L=\infty, it diverges. If L=1L=1, the test is inconclusive.

Absolute convergence means an\sum \vert a_n\vert converges. Conditional convergence means an\sum a_n converges but an\sum \vert a_n\vert diverges. Absolute convergence is stronger and allows more algebraic manipulation.

The Root Test is another absolute convergence test:

L=limnann.L=\lim_{n\to\infty}\sqrt[n]{|a_n|}.

If L<1L\lt 1, the series converges absolutely. If L>1L\gt 1, it diverges. If L=1L=1, the test is inconclusive. The Root Test is especially useful when the whole term is raised to the nnth power, such as (2n+13n)n\left(\frac{2n+1}{3n}\right)^n.

Telescoping series collapse after partial fraction decomposition or cancellation. For example,

n=1N(1n1n+1)=11N+1.\sum_{n=1}^{N}\left(\frac1n-\frac{1}{n+1}\right) =1-\frac{1}{N+1}.

Taking NN\to\infty gives a sum of 11. Telescoping is one of the few cases where the partial sums can be written explicitly.

The distinction between convergence of terms and convergence of sums is the most important conceptual point. A convergent series must have terms that go to zero because the partial sums cannot settle if the added pieces stay large. But small pieces can still accumulate forever. The harmonic series 1/n\sum 1/n is the standard example: terms shrink to zero, but the accumulated sum grows without bound.

Series tests should be chosen from the shape of ana_n. Rational functions of nn often compare to pp-series. Factorials and exponentials often suggest the Ratio Test. Alternating signs suggest checking absolute convergence first, then the Alternating Series Test if absolute convergence fails. Logarithms may require the Integral Test or comparison with known slow-growth benchmarks.

Error estimates matter when a series is used for approximation. For a convergent alternating series satisfying the test conditions, the first omitted term bounds the error. For positive series, bounding the remainder often requires an integral estimate or comparison to a geometric tail. A convergence statement alone does not say how many terms are needed for a desired accuracy.

The Integral Test also gives remainder bounds. If ff is positive, continuous, decreasing, and an=f(n)a_n=f(n), then for the remainder

RN=n=N+1anR_N=\sum_{n=N+1}^{\infty}a_n

we have

N+1f(x)dxRNNf(x)dx.\int_{N+1}^{\infty} f(x)\,dx \le R_N \le \int_N^{\infty} f(x)\,dx.

This turns an infinite tail into computable improper integrals. It is especially useful for pp-series and other positive decreasing terms.

Index shifts do not affect convergence, but they do affect formulas. The series n=0arn\sum_{n=0}^{\infty} ar^n has first term aa, while n=1arn\sum_{n=1}^{\infty} ar^n has first term arar. Before applying a memorized geometric formula, identify the starting index and first term. A wrong index often changes the sum even though convergence behavior is unchanged.

Series can be combined safely under convergence hypotheses. The sum of two convergent series converges, and scalar multiples preserve convergence. But subtracting two divergent series or rearranging conditionally convergent series can be dangerous. Absolute convergence is the condition that makes rearrangements behave predictably.

Monotone bounded sequences provide another foundational result. If a sequence is increasing and bounded above, it converges. If it is decreasing and bounded below, it converges. This theorem often appears before series because partial sums of positive series are increasing; convergence then depends on whether those partial sums are bounded above by a finite number in the real line.

That viewpoint links sequence limits directly to series convergence.

Visual

TestBest forConcludes convergence whenInconclusive case
nth-termquick divergencenever proves convergencean0a_n\to 0
geometricarnar^nr<1\vert r\vert \lt 1none
pp-series1/np1/n^pp>1p\gt 1none
comparisonpositive termsbounded by convergent benchmarkbad comparison
alternatingalternating decreasing termsbn0b_n\downarrow 0monotonicity or limit fails
ratiofactorials and exponentialsL<1L\lt 1L=1L=1

Worked example 1: choose tests for two positive series

Problem. Determine whether each series converges:

n=13n+1n3+n,n=1nn2+1.\sum_{n=1}^{\infty}\frac{3n+1}{n^3+n}, \qquad \sum_{n=1}^{\infty}\frac{n}{n^2+1}.

Method for the first series.

  1. For large nn, compare leading powers:
3n+1n3+n3nn3=3n2.\frac{3n+1}{n^3+n}\sim \frac{3n}{n^3}=\frac{3}{n^2}.
  1. Use limit comparison with bn=1/n2b_n=1/n^2:
limn(3n+1)/(n3+n)1/n2=limnn2(3n+1)n3+n.\lim_{n\to\infty}\frac{(3n+1)/(n^3+n)}{1/n^2} =\lim_{n\to\infty}\frac{n^2(3n+1)}{n^3+n}.
  1. Simplify by dividing by n3n^3:
limn3+1/n1+1/n2=3.\lim_{n\to\infty}\frac{3+1/n}{1+1/n^2}=3.
  1. Since 0<3<0\lt 3\lt \infty and 1/n2\sum 1/n^2 converges, the first series converges.

Method for the second series.

  1. For large nn,
nn2+11n.\frac{n}{n^2+1}\sim \frac{1}{n}.
  1. Use limit comparison with bn=1/nb_n=1/n:
limnn/(n2+1)1/n=limnn2n2+1=1.\lim_{n\to\infty}\frac{n/(n^2+1)}{1/n} =\lim_{n\to\infty}\frac{n^2}{n^2+1}=1.
  1. Since 1/n\sum 1/n diverges, the second series diverges.

Checked answer. The first series converges by comparison with a pp-series with p=2p=2. The second diverges by comparison with the harmonic series.

Worked example 2: alternating series and error estimate

Problem. Approximate

n=1(1)n11n2\sum_{n=1}^{\infty}(-1)^{n-1}\frac{1}{n^2}

using the first four terms, and bound the error.

Method.

  1. Identify
bn=1n2.b_n=\frac{1}{n^2}.
  1. Check the conditions. The terms are positive, decreasing, and
limn1n2=0.\lim_{n\to\infty}\frac{1}{n^2}=0.

Therefore the Alternating Series Test applies.

  1. Compute the fourth partial sum:
s4=114+19116.s_4=1-\frac14+\frac19-\frac{1}{16}.
  1. Use a common denominator 144144:
s4=14414436144+161449144=115144.s_4=\frac{144}{144}-\frac{36}{144}+\frac{16}{144}-\frac{9}{144} =\frac{115}{144}.
  1. The alternating error estimate gives
R4b5=125.|R_4|\le b_5=\frac{1}{25}.

Checked answer. The approximation is 115/1440.7986115/144\approx 0.7986, with error at most 0.040.04. The exact sum lies between s4s_4 and s5s_5.

If a smaller error is needed, choose NN so that

bN+1=1(N+1)2<ϵ.b_{N+1}=\frac{1}{(N+1)^2}<\epsilon.

For example, to guarantee error below 0.0010.001, solve

1(N+1)2<0.001.\frac{1}{(N+1)^2}<0.001.

This gives

N+1>100031.62,N+1>\sqrt{1000}\approx 31.62,

so N=31N=31 terms are enough. The alternating structure gives a practical stopping rule without knowing the exact infinite sum.

This is why alternating series are valuable computationally. Even when the exact sum is unknown, the next term gives a certified error bound, so the approximation can be matched to a required tolerance.

Code

def partial_sum(term, n):
return sum(term(k) for k in range(1, n + 1))

alt = lambda n: (-1)**(n - 1) / (n*n)
for n in [4, 10, 100]:
print(n, partial_sum(alt, n))

Common pitfalls

  • Using the nth-term test backward. an0a_n\to 0 does not prove convergence.
  • Forgetting positivity conditions for comparison and integral tests.
  • Applying the Alternating Series Test without checking that bnb_n decreases to 00.
  • Treating ratio test result L=1L=1 as convergence. It is inconclusive.
  • Confusing a sequence {an}\{a_n\} with the series an\sum a_n.
  • Ignoring absolute convergence when rearranging or combining series.
  • Comparing to the wrong benchmark power. Leading-order behavior usually decides rational terms.

Connections