Strictly speaking, only component B is necessary, since it implies component A:
If the values of f (x) can be made arbitrarily close to 12 by taking x close enough
to 5, then it is certainly true that when x is very close to 5, f (x) must be very close
to 12.* Consequently, we begin with component B of the informal definition.
We shall modify this definition step by step until we reach the desired formal def-
inition.
Definition says, in effect, that a two-step process is involved: Whenever
you tell us how close you want f (x) to 12, we can tell you how close x must be to
5 to guarantee this. So it can be restated like this.
For example, if you want f (x) to be within .01 of 12 (that is, between 11.99 and
12.01), we must tell you how close x must be to 5 to guarantee that the correspon-
ding values of f (x) are between 11.99 and 12.01. But “arbitrarily close” implies
much more. We must be able to answer your demands, regardless of how close you
want f (x) to be to 12. If you want f (x) to be within .002 of 12, or within .0001 of
12, or within any distance of 12, we must be able to tell you how close x must be
to 5 in each case to accomplish this. So Definition can be restated as follows.
Hereafter, whatever small positive number you specify (measuring how close
f (x) should be to 12) will be denoted by the Greek letter e (epsilon).
†
When we tell
you how close x should be to 5 to accomplish this, we must give some small pos-
itive number that measures “how close” (for instance, x must be within .0003 of
5, or x must be within .00002 of 5). We denote the number that measures the close-
ness of x to 5 by the Greek letter d (delta).
‡
Presumably the number d, which
measures how close x must be to 5, will depend on the number e, which measures
how close you want f (x) to be to 12. In this language, Definition becomes the
following.
898 CHAPTER 13 Limits and Continuity
lim
x5
f (x) 12 means that the values of f (x) can be made as close as you want
to 12 for all x sufficiently close to 5.
lim
x5
f (x) 12 means that whenever you specify how close f (x) should be to
12, we can tell you how close x must be to 5 to guarantee this.
lim
x5
f (x) 12 means that no matter what positive number you specify
(measuring how close you want f (x) to 12), we can tell you how close x
must be to 5 to guarantee that f (x) is that close to 12.
*Component A was included in the informal definition because it describes the procedures that are
actually used to estimate a limit. In this case, we would compute values of f (x) when x 4.9, 4.99,
4.999, 5.1, 5.01, 5.001, etc. to see whether they are very close to 12.
†
Mathematicians have used Greek letters in this context since the formal definition was first developed
in the nineteenth century. Epsilon is the Greek letter e, the first letter in the word “error.” You can think
of e as measuring the allowable degree of error—the amount by which you will permit f (x) to differ
from 12.
‡
Delta is the Greek letter d, the first letter of “difference.” We must state the difference between x and
5 that will guarantee that f (x) is within e of 12.