101729
101729
https://ebookultra.com
https://ebookultra.com/download/foundations-of-
mathematical-analysis-1st-edition-s-ponnusamy-
auth-2/
https://ebookultra.com/download/foundations-of-mathematical-
analysis-1st-edition-s-ponnusamy-auth/
ebookultra.com
https://ebookultra.com/download/mathematical-foundations-of-
information-sciences-3rd-edition-esfandiar-haghverdi/
ebookultra.com
https://ebookultra.com/download/mathematical-foundations-of-classical-
statistical-mechanics-1st-edition-d-ya-petrina-author/
ebookultra.com
https://ebookultra.com/download/mathematical-foundations-and-
biomechanics-of-the-digestive-system-1st-edition-roustem-n-miftahof/
ebookultra.com
Fundamentals of Mathematical Analysis 1st Edition Paul J.
Sally Jr
https://ebookultra.com/download/fundamentals-of-mathematical-
analysis-1st-edition-paul-j-sally-jr/
ebookultra.com
https://ebookultra.com/download/a-first-course-of-mathematical-
analysis-david-alexander-brannan/
ebookultra.com
https://ebookultra.com/download/analysis-and-mathematical-physics-1st-
edition-bjorn-gustafsson/
ebookultra.com
https://ebookultra.com/download/mathematical-analysis-and-proof-
second-edition-david-stirling/
ebookultra.com
https://ebookultra.com/download/classical-mathematical-logic-the-
semantic-foundations-of-logic-1-with-corrections-edition-richard-l-
epstein/
ebookultra.com
Foundations of Mathematical Analysis 1st Edition S.
Ponnusamy (Auth.) Digital Instant Download
Author(s): S. Ponnusamy (auth.)
ISBN(s): 9780817682927, 0817682929
Edition: 1
File Details: PDF, 2.98 MB
Year: 2012
Language: english
S. Ponnusamy
Foundations of
Mathematical Analysis
S. Ponnusamy
Department of Mathematics
Indian Institute of Technology Madras
Chennai 600 036
India
[email protected]
VII
VIII Preface
Content and Organization: The book consists of eleven chapters, which are
further divided into sections that have a number of subsections. Each section
includes a careful selection of special topics covered in subsections that will
serve to illustrate the scope and power of various methods in real analysis.
Proofs of even the most elementary facts are detailed with a careful presenta-
tion. Some of the subsections may be ignored based on syllabus requirements,
although keen readers may certainly browse through them to broaden their
horizons and see how this material fits in the general scheme of things. The
main thrust of the book is on convergence of sequences and series, continu-
ity, differentiability, the Riemann integral, power series, uniform convergence
of sequences and series of functions, Fourier series, and various important
applications.
Chapter 1 provides a gentle introduction to the real number system, which
should be more or less familiar to the reader. Chapter 2 begins with the con-
cept of the limit of a sequence and examines various properties of convergent
sequences. We demonstrate the bounded monotone convergence theorem and
continue the discussion with Cauchy sequences. In Chapter 3, we define the
concept of the limit of a function through sequences. We then continue to
define continuity and differentiability of functions and establish properties of
these classes of functions, and briefly explain the uniformly continuity of func-
tions. In Chapter 4, we prove Rolle’s theorem and the mean value theorem
and apply continuity and differentiability in finding maxima and minima. In
Chapter 5, we establish a number of tests for determining whether a given
series is convergent or divergent. Here we introduce the base of the natu-
ral logarithm e and prove that it is irrational. We present Riemann’s rear-
rangement theorem for conditionally convergent series. We end this chapter
with applications of Dirichlet’s test and summability of series. There are two
well-known approaches to Riemann integration, namely Riemann’s approach
through the convergence of arbitrary Riemann sums, and Darboux’s approach
via upper and lower sums. In Chapter 6, we give both of these approaches and
show their equivalence, along with a number of motivating examples. After
presenting standard properties of Riemann integrals, we use them in evaluat-
ing the limits of certain sequences. In this chapter, we meet the fundamental
theorem of calculus, which “connects the integral of a function and its an-
Preface IX
The book was written with support from the Golden Jubilee Book Writ-
ing Scheme of the Indian Institute of Technology Madras, India. I thank
IIT Madras for this support. It gives me immense pleasure in thanking the
publisher and the editor, Tom Grasso, for his efficient responses during the
preparation of the manuscript.
XI
XII Contents
Index 565
1
The Real Number System
This chapter consists of reference material with which the reader should be
familiar. We present it here both to refresh the reader’s memory and to have
them available for reference. In Section 1.1, we begin by recalling elementary
properties of sets, in particular the set of rational numbers and their deci-
mal representations. Then we proceed to introduce the irrational numbers. In
Section 1.2, we briefly discuss the notion of supremum and infimum and state
the completeness axiom for the set of real numbers. We introduce the concept
of one-to-one, onto, and bijective mappings, as well as that of equivalent sets.
The notion of a set is one of the most basic concepts in all of mathemat-
ics. We begin our discussion with some set-theoretic terminology and a few
facts from the algebra of sets. A set is a collection of well-defined objects
(e.g., numbers, vectors, functions) and is usually designated by a capital let-
ter A, B, C, . . . , X, Y, Z. If A is a set, we write a ∈ A to express “a is an
element (or member) of A” or “a belongs to A.” Likewise, the expression
a∈ / A means “a is not an element of A” or “a does not belong to A.” For
instance, A = {a, b} means that A consists of a and b, while the set A = {a}
consists of a alone. We use the symbol “∅” to denote the empty set, that is,
the set with no elements.
If B is also a set and every element of B is also an element of A, then we
say that B is a subset of A or that B is contained in A, and we write B ⊂ A.
We also say that A contains B and write A ⊃ B. That is,1
A ⊃ B ⇐⇒ B ⊂ A ⇐⇒ a ∈ B implies that a ∈ A.
1
The symbol ⇐⇒ and the word “iff” both mean “if and only if.”
Clearly, every set is a subset of itself, and therefore to distinguish subsets that
do not coincide with the set in question, we say that A is a proper subset of
B if A ⊂ B and in addition, B also contains at least one element that does
not belong to A. We express this by the symbol A B, a proper subset A of
B. Since A ⊂ A, it follows that for any two sets A and B, we have
A = B ⇐⇒ B ⊂ A and A ⊂ B.
In this case, we say that the two sets A and B are equal. Thus, in order to
prove that the sets A and B are equal, we may show that A ⊂ B and B ⊂ A.
When A is not a subset of B, then we indicate this by the notation
A ⊂ B,
meaning that there is at least one element a ∈ A such that a ∈ / B. For every
A ⊂ X, the complement of A, relative to X, is the set of all x ∈ X such that
x∈/ A. We shall use the notation
Ac = X \A = {x : x ∈ X and x ∈
/ A}.
The complement X c of X itself is the empty set ∅. Also, ∅c = X.
We often use the symbol := to mean that the symbol on the left is defined
by the expression on the right. For instance,
N := {1, 2, . . .}, the set of natural numbers.
A set can be defined by listing its elements or by specifying a property that
determines the elements in the set. For instance,
A = {2n : n ∈ N}.
That is, A = {x : P (x)} represents the set A of all elements x such that “the
property P (x) is true.” Also, B = {x ∈ A : Q(x)} represents the subset of A
for which the “property Q(x)” holds. For instance,
B = {1, 3} or A = {x : x ∈ N, 2x3 − 9x2 + 10x − 3 = 0}.
For a given set A, the power set of A, denoted by P(A), is defined to be
the set of all subsets of A:
P(A) = {B : B ⊂ A}.
If A and B are sets, then their union, denoted by A ∪ B, is the set of all
elements that are elements of either A or B:
A ∪ B = {x : x ∈ A or x ∈ B}.
Clearly A ∪ B = B ∪ A. The intersection of the sets A and B, denoted by
A ∩ B, is the set consisting of elements that belong to both A and B:
A ∩ B = {x : x ∈ A and x ∈ B}.
Note that A \B is also used for A ∩ B c . Two sets are said to be disjoint if
their intersection is the empty set. The notion of intersection and union can
1.1 Sets and Functions 3
and
Ai = {x : x ∈ Ai for every i ∈ Λ}.
i∈Λ
y y
y = x2 − 2
(0,1)
1 x x
x such that
x such that x2 = 2
O 1 (1,0) x x2 = 2 (−2, 0)
x2 = 2 or x2 = 3 or x2 = 5 or x2 = 7?
(2k)2 = 2n2 or 2k 2 = n2 ,
and therefore n is also even. The last statement contradicts our assumption
that m and n have no common factor other than 1.
2
√ that the solution of x − 2 = 0 is not a rational number.
It turns out, then,
We denote it by 2 and call it an irrational number.
If we draw the graph of y = x2 − 2 (see Figure 1.2), the value of x at
which the graph crosses the y-axis is thus a “new type” of number x, which
satisfies the equation x2 − 2 = 0. It is called an irrational number (see
Questions 1.11(7)).
6 1 The Real Number System
a0 + a1 x + · · · + an xn = 0 (an = 0).
a0 + a1 x + a2 x2 + · · · + an xn = 0 (a0 = 0, an = 0),
or
an pn = −q[a0 q n−1 + a1 pq n−2 + · · · + an−1 pn−1 ].
It follows that q divides an pn . But since p and q have no common factors, q
cannot divide pn , and so q must divide an . Similarly, solving the equation for
a0 q n shows that p must divide a0 .
1.1 Sets and Functions 7
N Z Q R,
where the set R consists of rational numbers (terminating and repeating dec-
imals) and all √irrational numbers (nonrepeating decimals) such as the alge-
braic number 2. The mathematical system on which we are going to base
our analysis is the set R of all real numbers (see Section 1.2).
A field is a set F that possesses two binary operations, namely addition
( + ) and multiplication ( · ), such that F is closed with respect to these two
operations (meaning that a, b ∈ F implies a+b ∈ F and a·b ∈ F ) and satisfies
the familiar rules of arithmetic:
• Addition is commutative, i.e., a + b = b + a for each a, b ∈ F .
• Addition is associative, i.e., (a + b) + c = a + (b + c) for each a, b, c ∈ F .
• There exists an element 0 ∈ F such that 0 + a = a for all a ∈ F (0 is called
the additive identity).
• To every a ∈ F there corresponds an additive inverse −a ∈ F such that
a + (−a) = 0.
• Multiplication is commutative, i.e., a · b = b · a for each a, b ∈ F .
• Multiplication is associative, i.e., (a · b) · c = a · (b · c) for each a, b, c ∈ F .
• There exists an element 1 ∈ F , 1 = 0, such that 1 · a = a for all a ∈ F
(1 is called the multiplicative identity).
• To every 0 = a ∈ F there corresponds a multiplicative inverse a−1 ∈ F
such that a · a−1 = 1.
• Multiplication is distributive over addition:
a · (b + c) = a · b + a · c for each a, b ∈ F .
Theorem 1.7. In a field F , the following are consequences of the field axioms:
(a) The additive identity and the multiplicative identity are unique.
(b) The additive inverse of an element and the multiplicative inverse of a
nonzero element are unique.
(c) a · 0 = 0 for every a ∈ F .
(d) a · (−b) = (−a) · b = −(a · b) for every a, b ∈ F .
8 1 The Real Number System
a ∈ P, −a ∈ P, a = 0.
Property (b) implies that for any pair of elements a, b ∈ F , exactly one of the
following holds:
a < b, a = b, a > b.
The most familiar examples of fields are the set Q of rational numbers and
the set R of real numbers.
We may now write down some familiar properties concerning the ordered
relation of R.
• If a, b ∈ R, then exactly one of the following holds:
a < b or a > b or a = b. [Law of trichotomy]
• If a, b, c ∈ R, then we have
(a) a < b and b < c implies a < c. [Law of transitivity]
(b) a < b implies a + c < b + c. [Law of compatibility w.r.t.
addition]
(c) a < b and c > 0 implies ac < bc.
(d) a < b and c < 0 implies bc < ac.
[Law of compatibility w.r.t. multiplication]
(e) a = 0 implies a2 > 0.
• If a ∈ R, then there exists a positive integer n such that n > a.
[Archimedean property]
1.1 Sets and Functions 9
The field axioms together with an ordered relation make both Q and R
what are called ordered fields. We do not include the details, since that would
defeat the purpose of this book. So, we accept the following.
a if a ≥ 0,
|a| =
−a if a < 0.
Questions 1.11.
Exercises 1.12.
√
1. Show that if m, n ∈ N and xm = n has no integer solution, then m n is
irrational. √ √
2. Show that √ neither 3 6 nor 2 + 2 is a rational number.
3. Show that n is irrational for every natural number n that is not a perfect
square.
4. Show√ that following
√ numbers√are irrational:
(a) 12. (b) n + 1 + n − 1.
5. For a, b ∈ R, using the axioms of an ordered field, show that
(a) 0 < a < b iff 1/a > 1/b.
(b) a < b =⇒ ap < bp whenever 0 < a < b and p > 0.
6. Show that for all a1 , a2 , . . . , an ∈ R,
We have seen that not all sets are bounded above. However, if a nonempty
set of real numbers is bounded, it has a least upper bound. What does
this mean?
The condition (b) is equivalent to saying that α < M implies that α is not
an upper bound for A. Equivalently, it means that if M is an upper bound
for A, then M ≥ M . For instance, every M ≥ 2 is an upper bound for the set
A = [0, 2), whereas 1.99999 is not. The set N is not bounded above, because
for each M , there is a positive integer n with n > M , by the archimedean
property of R.
Lemma 1.15. If the least upper bound of a set exists, then it is unique.
α ≤ α and α ≤ α .
Thus, α = α , as required.
The condition (b) means that if m > m, then m is not a lower bound
for A.
Proof. The proof follows from arguments similar to those of the proof of
Lemma 1.15, and so we omit the details.
12 1 The Real Number System
and
−∞ if A has no lower bound,
inf A =
glb A if A is bounded below,
respectively. We remark that the symbols sup A and inf A always make sense
and that inf A ≤ sup A.
For a ≤ b, important subsets of R are intervals:
• (a, b) = {x ∈ R : a < x < b}. [open interval]
• [a, b] = {x ∈ R : a ≤ x ≤ b}. [closed interval]
• (a, b] = {x ∈ R : a < x ≤ b}. [half-open interval]
• [a, b) = {x ∈ R : a ≤ x < b}. [half-open interval]
The two endpoints a and b are points in R. A set consisting of a single point
is sometimes called a degenerate interval. It is sometimes convenient to allow
the symbols a = −∞ and b = +∞, so that
More general subsets of R that we often use may be obtained by taking a finite
or infinite union of intervals or a finite or infinite intersection of intervals.
Finally, for δ > 0 and a ∈ R, we call
(a − δ, a + δ) = {x ∈ R : |x − a| < δ}
M < x < 1.
This inequality clearly implies that M cannot be an upper bound for [0, 1),
i.e., M = 1 is the least upper bound. •
Using the same procedure as in the above example, we have the following:
(1) If A = {1, 2, 3}, then inf A = 1 and sup A = 3.
(2) If A = {x : −1 ≤ x < 3}, then inf A = −1 and sup A = 3.
(3) If A = {x : x > 3}, then A has no upper bound, so that sup A = ∞. Also,
inf A = 3.
(4) If A = {x : x < 1}, then A has no lower bound, so that inf A = −∞.
Also, sup A = 1.
(5) The sets Z and Q are neither bounded above nor bounded below. On the
other hand, the set N is bounded below but not bounded above. In fact,
1 is a lower bound for N and so is any number less than 1. Moreover,
inf N = 1.
negative positive
a<b
−2 −1 0 1 1 1 a b
3 2
1.2.2 Functions
Let X and Y be two nonempty subsets of a universal set, for example, R. A
function or mapping 2 f from X to Y is a rule, or formula, or assignment, or
relation of association that assigns to each x ∈ X a unique element y ∈ Y .
We write
f : X →Y (1.1)
to denote the mapping f from X to Y . To be more precise about the rule of
association, we say that a function from X to Y is a set f of ordered pairs
in X × Y such that for each x ∈ X there exists a unique element y ∈ Y such
that (x, y) ∈ f ; i.e., if (x, y) ∈ f and (x, y ) ∈ f , then y = y .
The set X on which the function f is defined is called the domain of f , and
we write dom (f ) for X. We call the set Y the codomain of f . When we define
a map by describing its effect on the individual elements, we use the symbol
→; thus “the mapping x → y of X into Y ” means that f is a mapping of X
into Y taking each element x of X into a unique element y of Y . In practice,
we denote the unique y by f (x) and say that f (x) is the image of x under f ,
or the value of f at x. Thus, when we use the notation (x, y) ∈ f , we write
y = f (x). For instance, if X = {a, b, c, d} and Y = {1, 2, 3}, then the rule
a → 1, b → 1, c → 2, d → 1,
defines a function f : X → Y , because it assigns a unique element of Y to
each element of X.
2
The terms mapping, function, and transformation are frequently used synony-
mously.
1.2 Supremum and Infimum 15
is called the image of the set S under f . Clearly, f (S) is a subset of the
codomain Y , and f (S) may be a proper subset of Y even if X = S. The subset
f (X) is called the range of f . For instance, if X = {a, b, c}, Y = {1, 2, 3, 4},
and f : X → Y is a function defined by the rule
a → 1, b → 4, c → 1,
f −1 (Y1 ) = {x ∈ X : f (x) ∈ Y1 }.
Also,
f (x) ∈ Y1 ⇐⇒ x ∈ f −1 (Y1 ).
Thus, f −1 (Y1 ) ⊂ X for Y1 ⊂ Y . If Y1 = {y} ⊂ Y , then we write f −1 (y)
instead of f −1 ({y}). The notation f −1 is used for two different purposes but
is universally accepted. However, the context of the usage of f −1 will always
be made clear, so there should be no confusion about it.
For two mappings f : X → Y and g : Y → Z for which f (X) ⊂ Y , we can
define the composite mapping g ◦ f : X → Z by
(g ◦ f ) ◦ h = g ◦ (f ◦ h).
16 1 The Real Number System
f (x1 ) = f (x2 ) =⇒ x1 = x2 .
Suppose that A and B are two sets. We say that A is equivalent to B, written
A ∼ B, if there is a bijective (i.e., one-to-one and onto) mapping from A to
B. If A ∼ B, then we say that A and B have a one-to-one correspondence
between them. The following theorem is easy to prove.
Example 1.30. The set N is countable, since the bijection f (x) = x does the
job. In order to prove that the set Z is countable, we just need to notice that
elements of Z can be written as a list of
card (R × R) = card R.
Moreover, the fact that Q is countable can also be obtained by showing that
Q and Z × Z have the same cardinality.
Questions 1.33.
10. Suppose that f and g are functions such that g ◦ f is onto. Must g be
onto? Should f be onto?
11. Suppose that f and g are functions such that g ◦ f is one-to-one. Must f
be one-to-one? Should g be one-to-one?
12. If f : A → B and g : B → C are such that f (A) = B and g(B) = C,
should (g ◦ f )(A) = C?
13. Which one of the following is not true?
(a) f (A ∪ B) = f (A) ∪ f (B). (b) f −1 (A ∪ B) = f −1 (A) ∪ f −1(B).
(c) f (A ∩ B) = f (A) ∩ f (B). (d) f −1 (A ∩ B) = f −1 (A) ∩ f −1(B).
14. Can a finite set be equivalent to a proper subset of itself?
15. Must a set be infinite if it is equivalent to a proper subset of itself?
Exercises 1.34.
1. Let A consist of all positive rational numbers x whose square is less than 2,
and let B consist of all positive rational numbers y such that y 2 > 2. Show
that A contains no largest number and B contains no smallest number.
2. For x, y ∈ R, show that
x + y + |x − y| x + y − |x − y|
max{x, y} = and min{x, y} = .
2 2
3. Let A and B be two nonempty subsets of R such that B ⊂ A is nonempty.
Prove that
inf A ≤ inf B ≤ sup B ≤ sup A.
4. Let A and B be two nonempty bounded sets of positive real numbers.
Set S1 = A ∪ B, S2 = A ∩ B, S3 = {x + y : x ∈ A and y ∈ B},
S4 = {x + a : x ∈ A} for some a > 0, and S5 = {xa : x ∈ A} for some
a > 0. Determine a relationship among
(a) sup A, sup B, and sup S1 . (b) sup A, sup B, and sup S2 .
(c) sup A, sup B, and sup S3 . (d) inf A, inf B, and inf S3 .
(e) sup A and sup S4 . (f ) sup A and sup S5 .
5. Using the completeness properties (see Definitions 1.18 and 1.19), prove
the following version of the archimedean property of R: If a and b are pos-
itive real numbers, then there exists a positive integer n such that na > b.
6. Suppose that x, y ∈ R are such that y > x. Use the previous exercise to
prove that there exist a rational number and an irrational number strictly
between x and y.
7. Determine the domain of each of the following functions:
2
x x−1
(a) f (x) = x(x − 1). (b) f (x) = . (c) f (x) = .
[x] x−4
8. Prove that (−π/2, π/2) and R are equivalent.
1.2 Supremum and Infimum 21
are called the terms of the sequence. It is customary to write f (n) = an for
n ≥ k, so that we can denote the sequence by listing its terms in order; thus
we write a sequence as
The number an is called the general term of the sequence {an } (nth term,
especially for k = 1). The set {an : n ≥ k} is called the range of the sequence
{an }n≥k . Sequences most often begin with n = 0 or n = 1, in which case
the sequence is a function whose domain is the set of nonnegative integers
(respectively positive integers). Simple examples of sequences are the se-
quences of positive integers, i.e., the sequence {an } for which an = n for
n ≥ 1, {1/n}, {(−1)n }, {(−1)n + 1/n}, and the constant sequences for which
an = c for all n. The Fibonacci sequence is given by
The terms of this Fibonacci sequence are called Fibonacci numbers, and the
first few terms are
1, 1, 2, 3, 5, 8, 13, 21.
In this case, we call the number a a limit of the sequence {an }. We say that
the sequence {an } converges (or is convergent or has limit) if it converges to
some number a. A sequence diverges (or is divergent) if it does not converge
to any number.
For instance, in our example above we would expect
n+1
lim = 1.
n→∞ n
The notions of convergence and limit of a sequence play a fundamental role
in analysis.
If a ∈ R, other notations for the convergence of {an } to a are
lim (an − a) = 0 and an → a as n → ∞.
n→∞
The notation a = lim an means that eventually the terms of the sequence {an }
can be made as close to a as may be desired by taking n sufficiently large.
Note also that
|an − a| < for n ≥ N ⇐⇒ an ∈ (a − , a + ) for n ≥ N .
That is, a sequence {an } converges to a if and only if every neighborhood of a
contains all but a finite number of terms of the sequence. Since N depends on
, sometimes it is important to emphasize this and write N () instead of N .
Note also that the definition requires some N , but not necessarily the smallest
N that works. In fact, if convergence works for some N then any N1 > N also
works.
To motivate the definition, we again consider an = (n + 1)/n. Given > 0,
we notice that
n + 1 1 1
n − 1 = n < whenever n > .
Thus, N should be some natural number larger than 1/. For example, if
= 1/99, then we may choose N to be any positive integer bigger than 99,
and we conclude that
n + 1
− 1 < = 1 whenever n ≥ N = 100.
n 99
Similarly, if = 2/999, then 1/ = 499.5, so that
n + 1 2
n − 1 < = 999 whenever n ≥ N = 500.
Thus, N clearly depends on .
The definition of limit makes it clear that changing a finite number of terms
of a given sequence affects neither the convergence nor the divergence of the
sequence. Also, we remark that the number provides a quantitative measure
of “closeness,” and the number N a quantitative measure of “largeness.”
We now continue our discussion with a fundamental question: Is it possible
for a sequence to converge to more than one limit?
26 2 Sequences: Convergence and Divergence
Proof. Let {an }n≥1 converge to a. Then there exists an N ∈ N such that
|an − a| < 1 = for n ≥ N . It follows that |an | < 1 + |a| for n ≥ N . Define
M = max{1 + |a|, |a1 |, |a2 |, . . . |aN −1 |}. Then |an | < M for every n ∈ N.
To see that the converse is not true, it suffices to consider the sequence
{(−1)n }n≥1 , which is bounded but not convergent, although the odd terms
and even terms both form convergent sequences with different limits.
The sum of sequences {an } and {bn } is defined to be the sequence {an + bn }.
We have the following useful consequences of the definition of convergence
that show how limits team up with the basic algebraic operations.
Proof. The linearity rule for sequences is easy to prove. The quotient rule for
sequences is easy if we prove the product rule for sequences (see also Questions
2.44(33) and 2.44(34)). We provide a direct proof.
We write
an bn − ab = (an − a)bn + (bn − b)a.
Since every convergent sequence must be bounded, there exists an M > 0
such that |bn | ≤ M (say), for all n. Let > 0 be given. Again, since bn → b
as n → ∞, there exists an N2 such that
|bn − b| < for n ≥ N2 .
2(|a| + 1)
(We remark that we could not use /2|a| instead of /[2(|a| + 1)] because a
could be zero.)
28 2 Sequences: Convergence and Divergence