This section introduces the formal definition of a limit. Many refer to this as “the epsilon-delta” definition, referring to the letters \(\varepsilon\) and \(\delta\) of the Greek alphabet.

Before we give the actual definition, let's consider a few informal ways of describing a limit. Given a function \(y=f(x)\) and an \(x\)-value, \(c\text{,}\) we say that “the limit of the function \(f\text{,}\) as \(x\) approaches \(c\text{,}\) is a value \(L\)” if:

Tends

“\(y\) tends to \(L\)” as “\(x\) tends to \(c\text{.}\)”

Approaches

“\(y\) approaches \(L\)” as “\(x\) approaches \(c\text{.}\)”

Near

“\(y\) is near \(L\)” whenever “\(x\) is near \(c\text{.}\)”

The problem with these definitions is that the words “tends,” “approach,” and especially “near” are not exact. In what way does the variable \(x\) tend to, or approach, \(c\text{?}\) How near do \(x\) and \(y\) have to be to \(c\) and \(L\text{,}\) respectively?

The definition we describe in this section comes from formalizing “Near”. A quick restatement gets us closer to what we want:

Tolerance Levels

If \(x\) is within a certain tolerance level of \(c\text{,}\) then the corresponding value \(y=f(x)\) is within a certain tolerance level of \(L\text{.}\)

The traditional notation for the \(x\)-tolerance is the lowercase Greek letter delta, or \(\delta\text{,}\) and the \(y\)-tolerance is denoted by lowercase epsilon, or \(\varepsilon\text{.}\) One more rephrasing of “Tolerance Levels” nearly gets us to the actual definition:

Named Tolerance Levels

If \(x\) is within \(\delta\) units of \(c\text{,}\) then the corresponding value of \(y\) is within \(\varepsilon\) units of \(L\text{.}\)

We can write “\(x\) is within \(\delta\) units of \(c\)” mathematically as

\begin{equation*}
c - \delta \lt x \lt c + \delta \implies L - \varepsilon \lt y \lt L + \varepsilon\text{.}
\end{equation*}

The point is that \(\delta\) and \(\varepsilon\text{,}\) being tolerances, can be any positive (but typically small) values satisfying this implication. Finally, we have the formal definition of the limit with the notation seen in the previous section.

Definition1.2.2.The Limit of a Function \(f\) at a point.

Let \(I\) be an open interval containing \(c\text{,}\) and let \(f\) be a function defined on \(I\text{,}\) except possibly at \(c\text{.}\) The statement that “the limit of \(f(x)\text{,}\) as \(x\) approaches \(c\text{,}\) is \(L\)” is denoted by

and means that given any \(\varepsilon \gt 0\text{,}\) there exists \(\delta \gt 0\) such that for all \(x\) in \(I\text{,}\) where \(x \neq c\text{,}\) if \(\abs{x - c} \lt \delta\text{,}\) then \(\abs{f(x) - L} \lt \varepsilon\text{.}\)

Mathematicians often enjoy writing ideas without using any words. Here is the wordless definition of the limit:

Note the order in which \(\varepsilon\) and \(\delta\) are given. In the definition, the \(y\)-tolerance \(\varepsilon\) is given first and then the limit will exist if we can find an \(x\)-tolerance \(\delta\) that works.

An example will help us understand this definition. Note that the explanation is long, but it will take one through all steps necessary to understand the ideas.

Example1.2.4.Evaluating a limit using the definition.

Show that \(\lim\limits_{x\to 4} \sqrt{x} = 2\text{.}\)

Before we use the formal definition, let's try some numerical tolerances. What if the \(y\) tolerance is \(0.5\text{,}\) or in other words \(\varepsilon =0.5\text{?}\) How close to \(4\) does \(x\) have to be so that \(y\) is within \(0.5\) units of \(2\text{?}\) That is, \(1.5 \lt y \lt 2.5\text{?}\) In this case, we can proceed as follows:

\begin{align*}
1.5 \amp\lt y \lt 2.5\\
1.5 \amp\lt \sqrt{x} \lt 2.5 \amp\amp \text{(Let } y=\sqrt{x} \text{)}\\
1.5^2 \amp\lt x \lt 2.5^2\amp\amp \text{(Square the inequality)}\\
2.25 \amp\lt x \lt 6.25\\
2.25-4 \amp\lt x-4 \lt 6.25-4\amp\amp \text{(Subtract }4\text{ from both sides)}\\
-1.75 \amp\lt x-4 \lt 2.25
\end{align*}

So, what is the desired \(x\) tolerance? Remember, we want to find a \(\delta\) so that \(\abs{x-4}\) is smaller than \(\delta\text{.}\) Since \(1.75\lt2.25\text{,}\) then if we require \(\abs{x-4}\lt 1.75\text{,}\) then we have

Therefore we can have \(\delta \leq 1.75\text{.}\) See Figure 1.2.5.

Given the \(y\) tolerance \(\varepsilon =0.5\text{,}\) we have found an \(x\) tolerance, \(\delta \lt 1.75\text{,}\) such that whenever \(x\) is within \(\delta\) units of \(4\text{,}\) then \(y\) is within \(\varepsilon\) units of \(2\text{.}\) That's what we were trying to find.

Let's try another value of \(\varepsilon\text{.}\)

What if the \(y\) tolerance is \(0.01\text{,}\) i.e. \(\varepsilon =0.01\text{?}\) How close to \(4\) does \(x\) have to be in order for \(y\) to be within \(0.01\) units of \(2\text{?}\) (In other words for \(1.99 \lt y \lt 2.01\text{?}\)) Again, we just square these values to get \(1.99^2 \lt x \lt 2.01^2\text{,}\) or

What is the desired \(x\) tolerance? In this case we must have \(\delta \lt 0.0399\text{,}\) which is the minimum distance from \(4\) of the two bounds given above.

What we have so far: if \(\varepsilon =0.5\text{,}\) then \(\delta \lt 1.75\) leads to \(f(x)\) being less than \(\varepsilon\) from \(f(4)\) and if \(\varepsilon = 0.01\text{,}\) then \(\delta \lt 0.0399\) being less than \(\varepsilon\) from \(f(4)\text{.}\) A pattern is not easy to see, so we switch to general \(\varepsilon\) try to determine an adequate \(\delta\) symbolically. We start by assuming \(y=\sqrt{x}\) is within \(\varepsilon\) units of \(2\text{:}\)

The “desired form” in the last step is “\(4-\textit{something} \lt x \lt 4 + \textit{something}\text{.}\)” Since we want this last interval to describe an \(x\) tolerance around 4, we have that either \(\delta \lt 4\varepsilon - \varepsilon^2\) or \(\delta \lt 4\varepsilon + \varepsilon^2\text{,}\) whichever is smaller:

Since \(\varepsilon \gt 0\text{,}\) we have \(4\varepsilon - \varepsilon^2 \lt 4\varepsilon + \varepsilon^2\text{,}\) the minimum is \(\delta \leq 4\varepsilon - \varepsilon^2\text{.}\) That's the formula: given an \(\varepsilon\text{,}\) set \(\delta \leq 4\varepsilon-\varepsilon^2\text{.}\)

We can check this for our previous values. If \(\varepsilon=0.5\text{,}\) the formula gives \(\delta \lt 4(0.5) - (0.5)^2 = 1.75\) and when \(\varepsilon=0.01\text{,}\) the formula gives \(\delta \lt 4(0.01) - (0.01)^2 = 0.399\text{.}\)

So given any \(\varepsilon \gt 0\text{,}\) set \(\delta \lt 4\varepsilon - \varepsilon^2\text{.}\) Then if \(\abs{x-4}\lt \delta\) (and \(x\neq 4\)), then \(\abs{f(x) - 2} \lt \varepsilon\text{,}\) satisfying the definition of the limit. We have shown formally (and finally!) that \(\lim_{x\to 4} \sqrt{x} = 2\text{.}\)

The previous example was a little long in that we sampled a few specific cases of \(\varepsilon\) before handling the general case. Normally this is not done. The previous example is also a bit unsatisfying in that \(\sqrt{4}=2\text{;}\) why work so hard to prove something so obvious? Many \(\varepsilon\)-\(\delta\) proofs are long and difficult to do. In this section, we will focus on examples where the answer is, frankly, obvious, because the non-obvious examples are even harder. In the next section we will learn some theorems that allow us to evaluate limits analytically, that is, without using the \(\varepsilon\)-\(\delta\) definition.

Example1.2.6.Evaluating a limit using the definition.

Show that \(\lim\limits_{x\to 2} x^2 = 4\text{.}\)

Let's do this example symbolically from the start. Let \(\varepsilon \gt 0\) be given; we want \(\abs{y-4} \lt \varepsilon\text{,}\) i.e., \(\abs{x^2-4} \lt \varepsilon\text{.}\) How do we find \(\delta\) such that when \(\abs{x-2} \lt \delta\text{,}\) we are guaranteed that \(\abs{x^2-4}\lt \varepsilon\text{?}\)

This is a bit trickier than the previous example, but let's start by noticing that \(\abs{x^2-4} = \abs{x-2}\cdot\abs{x+2}\text{.}\) Consider:

Could we not set \(\delta = \frac{\varepsilon}{\abs{x+2}}\text{?}\)

We are close to an answer, but the catch is that \(\delta\) must be a constant value (so it can't depend on \(x\)). There is a way to work around this, but we do have to make an assumption. Remember that \(\varepsilon\) is supposed to be a small number, which implies that \(\delta\) will also be a small value. In particular, we can (probably) assume that \(\delta \lt 1\text{.}\) If this is true, then \(\abs{x-2} \lt \delta\) would imply that \(\abs{x-2} \lt 1\text{,}\) giving \(1 \lt x \lt 3\text{.}\)

Now, back to the fraction \(\frac{\varepsilon}{\abs{x+2}}\text{.}\) If \(1\lt x\lt 3\text{,}\) then \(3\lt x+2\lt 5\) (add \(2\) to all terms in the inequality). Taking reciprocals, we have

This suggests that we set \(\delta \lt \frac{\varepsilon}{5}\text{.}\) To see why, let consider what follows when we assume \(\abs{x-2}\lt \delta\text{:}\)

\begin{align*}
\abs{x-2}\amp\lt\delta\\
\abs{x-2}\amp\lt\frac{\varepsilon}{5}\amp\amp\text{(Our choice of } \delta\text{)}\\
\abs{x-2}\cdot\abs{x+2}\amp\lt\abs{x+2}\cdot\frac{\varepsilon}{5}\amp\amp\text{(Multiply by }\abs{x+2}\text{)}\\
\abs{x^2-4}\amp\lt\abs{x+2}\cdot\frac{\varepsilon}{5}\amp\amp\text{(Simplify left side)}\\
\abs{x^2-4}\amp\lt\abs{x+2}\cdot\frac{\varepsilon}{\abs{x+2}}\amp\amp\text{(}\knowl{./knowl/eq_limit1.html}{\text{Inequality (1.2.1)}}, \delta \lt 1\text{)}\\
\abs{x^2-4}\amp\lt\varepsilon
\end{align*}

We have arrived at \(\abs{x^2-4}\lt \varepsilon\) as desired. Note again, in order to make this happen we needed \(\delta\) to first be less than \(1\text{.}\) That is a safe assumption; we want \(\varepsilon\) to be arbitrarily small, forcing \(\delta\) to also be small.

We have also picked \(\delta\) to be smaller than “necessary.” We could get by with a slightly larger \(\delta\text{,}\) as shown in Figure 1.2.7. The outer lines show the boundaries defined by our choice of \(\varepsilon\text{.}\) The inner lines show the boundaries defined by setting \(\delta = \varepsilon/5\text{.}\) Note how these dotted lines are within the dashed lines. That is perfectly fine; by choosing \(x\) within the dotted lines we are guaranteed that \(f(x)\) will be within \(\varepsilon\) of \(4\text{.}\)

In summary, given \(\varepsilon \gt 0\text{,}\) set \(\delta=\varepsilon/5\text{.}\) Then \(\abs{x-2} \lt \delta\) implies \(\abs{x^2 - 4}\lt\varepsilon\) (i.e. \(\abs{y-4}\lt\varepsilon\)) as desired. This shows that \(\lim_{x\to 2} x^2 = 4\text{.}\)Figure 1.2.7 gives a visualization of this; by restricting \(x\) to values within \(\delta = \varepsilon/5\) of \(2\text{,}\) we see that \(f(x)\) is within \(\varepsilon\) of \(4\text{.}\)

Make note of the general pattern exhibited in these last two examples. In some sense, each starts out “backwards.” That is, while we want to

start with \(\abs{x-c}\lt \delta\) and conclude that

\(\abs{f(x)-L}\lt \varepsilon\text{,}\)

we actually start by doing what is essentially some “scratch-work” first:

assume \(\abs{f(x)-L}\lt \varepsilon\text{,}\) then perform some algebraic manipulations to give an inequality of the form

\(\abs{x-c}\lt\)something.

When we have properly done this, the something on the “greater than” side of the inequality becomes our \(\delta\text{.}\) We can refer to this as the “scratch-work” phase of our proof. Once we have \(\delta\text{,}\) we can formally start the actual proof with \(\abs{x-c}\lt \delta\) and use algebraic manipulations to conclude that \(\abs{f(x)-L}\lt \varepsilon\text{,}\) usually by using the same steps of our “scratch-work” in reverse order.

We highlight this process in the following example.

Example1.2.8.Evaluating a limit using the definition.

Prove that \(\lim\limits_{x\to 1}(x^3-2x) = -1\text{.}\)

We are at the phase of saying that \(\abs{x-1}\lt\)something, where \(\textit{something}=\varepsilon/\abs{x^2+x-1}\text{.}\) We want to turn that something into \(\delta\text{.}\)

Since \(x\) is approaching \(1\text{,}\) we are safe to assume that \(x\) is between \(0\) and \(2\text{.}\) So

Since \(0\lt x\lt 2\text{,}\) we can add \(0\text{,}\)\(x\) and \(2\text{,}\) respectively, to each part of the inequality and maintain the inequality.

\begin{align*}
0\amp \lt x^2+x\lt 6\\
-1\amp \lt x^2+x-1\lt 5\amp\amp \text{(Subtracted 1 from each part.)}
\end{align*}

In Inequality (1.2.2), we wanted \(\abs{x-1}\lt \varepsilon/\abs{x^2+x-1}\text{.}\) The above shows that given any \(x\) in \([0,2]\text{,}\) we know that

So we set \(\delta \lt \epsilon/5\text{.}\) This ends our scratch-work, and we begin the formal proof (which also helps us understand why this was a good choice of \(\delta\)).

Given \(\varepsilon\text{,}\) let \(\delta \lt \varepsilon/5\text{.}\) We want to show that when \(\abs{x-1}\lt \delta\text{,}\) then \(\abs{(x^3-2x)-(-1)}\lt \varepsilon\text{.}\) We start with \(\abs{x-1}\lt \delta\text{:}\)

Symbolically, we want to take the inequality \(\abs{e^x - 1} \lt \varepsilon\) and unravel it to the form \(\abs{x-0} \lt \delta\text{.}\) Here is our scratch-work:

Making the safe assumption that \(\varepsilon\lt 1\) ensures the last inequality is valid (i.e., so that \(\ln(1-\varepsilon)\) is defined). We can then set \(\delta\) to be the minimum of \(\abs{\ln(1-\varepsilon)}\) and \(\ln(1+\varepsilon)\text{;}\) i.e.,

\begin{align*}
\amp\abs{x - 0}\lt \delta\\
-\delta \amp \lt x \lt \delta \amp\amp \text{(Definition of absolute value)}\\
-\ln(1+\varepsilon) \amp \lt x \lt \ln(1+\varepsilon)\\
\ln(1-\varepsilon) \amp \lt x \lt \ln(1+\varepsilon) \amp \amp \text{(since \(\ln(1-\varepsilon) \lt -\ln(1+\varepsilon)\)). }\\
\end{align*}

The above line is true by our choice of \(\delta\) and by the fact that since \(\abs{\ln(1-\varepsilon)} \gt \ln(1+\varepsilon)\) and \(\ln(1-\varepsilon)\lt 0\text{,}\) we know \(\ln(1-\varepsilon) \lt -\ln(1+\varepsilon )\text{.}\)

In summary, given \(\varepsilon \gt 0\text{,}\) let \(\delta = \ln(1+\varepsilon)\text{.}\) Then \(\abs{x - 0} \lt \delta\) implies \(\abs{e^x - 1}\lt \varepsilon\) as desired. We have shown that \(\lim_{x\to 0} e^x = 1\text{.}\)

We note that we could actually show that \(\lim_{x\to c} e^x = e^c\) for any constant \(c\text{.}\) We do this by factoring out \(e^c\) from both sides, leaving us to show \(\lim_{x\to c} e^{x-c} = 1\) instead. By using the substitution \(u=x-c\text{,}\) this reduces to showing \(\lim_{u\to 0} e^u = 1\) which we just did in the last example. As an added benefit, this shows that in fact the function \(f(x)=e^x\) is continuous at all values of \(x\text{,}\) an important concept we will define in Section 1.5.

This formal definition of the limit is not an easy concept grasp. Our examples are actually “easy” examples, using “simple” functions like polynomials, square roots and exponentials. It is very difficult to prove, using the techniques given above, that \(\lim_{x\to 0}\frac{\sin(x)}{x} = 1\text{,}\) as we approximated in Section 1.1.

There is hope. Section 1.3 shows how one can evaluate complicated limits using certain basic limits as building blocks. While limits are an incredibly important part of calculus (and hence much of higher mathematics), rarely are limits evaluated using the definition. Rather, the techniques of Section 1.3 are employed.

ExercisesExercises

Terms and Concepts

1.

What is wrong with the following “definition” of a limit?

“The limit of \(f(x)\text{,}\) as \(x\) approaches \(a\text{,}\) is \(K\)” means that given any \(\delta \gt 0\) there exists \(\varepsilon \gt 0\) such that whenever \(\abs{f(x)-K}\lt\varepsilon\text{,}\) we have \(\abs{x-a}\lt \delta\text{.}\)

2.

Which is given first in establishing a limit?

x-tolerance

y-tolerance

3.

True

False

\(\varepsilon\) must always be positive.

4.

True

False

\(\delta\) must always be positive.

Problems

Exercise Group.

Prove the given limit using an \(\varepsilon\)-\(\delta\) proof.