Navigation

Concept Review

Differential Calculus

Introduction to Limits

Limits are the idea that separates calculus from algebra: they describe what a function approaches near a point without ever evaluating it there. Every later object in this course - continuity, the derivative, the definite integral, l'Hopital's rule - is defined as a limit, so nothing after this topic is safe if the limit concept is shaky. Here we build the informal picture, the one-sided refinement, the ways a limit can fail, and finally the precise ε\varepsilon-δ\delta definition that turns the picture into mathematics.

The informal idea

Informal definition. We write limxaf(x)=L\lim_{x\to a} f(x) = L to mean: f(x)f(x) can be made as close to LL as we please by taking xx sufficiently close to aa, but not equal to aa.

Three things follow immediately, and all three are examined:

  • The point x=ax=a is deliberately excluded. The number f(a)f(a) - indeed whether f(a)f(a) exists at all - is irrelevant to limxaf(x)\lim_{x\to a}f(x).
  • "As close as we please" is a promise about every tolerance, not about one convenient one.
  • For the two-sided limit at aa to be discussed, ff must be defined on a punctured interval (ar,a)(a,a+r)(a-r,a)\cup(a,a+r) for some r>0r>0.

Model example. f(x)=x21x1f(x)=\dfrac{x^2-1}{x-1} is undefined at x=1x=1. For every x1x\ne 1 we may cancel: f(x)=(x1)(x+1)x1=x+1f(x)=\dfrac{(x-1)(x+1)}{x-1}=x+1. So limx1f(x)=2\lim_{x\to 1}f(x)=2 even though f(1)f(1) does not exist.

Theorem (uniqueness of limits). If limxaf(x)=L\lim_{x\to a}f(x)=L and limxaf(x)=M\lim_{x\to a}f(x)=M, then L=ML=M. This is what licenses the phrase "the limit".

One-sided limits

limxaf(x)=L\lim_{x\to a^-}f(x)=L means f(x)Lf(x)\to L as xx approaches aa through values less than aa; limxa+f(x)=L\lim_{x\to a^+}f(x)=L uses only values greater than aa.

Theorem (two-sided from one-sided). Suppose ff is defined on a punctured interval about aa. Then limxaf(x)=Llimxaf(x)=L  and  limxa+f(x)=L.\lim_{x\to a}f(x)=L \quad\Longleftrightarrow\quad \lim_{x\to a^-}f(x)=L \ \text{ and } \ \lim_{x\to a^+}f(x)=L. Both one-sided limits must exist and must be equal; either failure kills the two-sided limit.

At an endpoint of the domain only the one-sided statement is meaningful. For f(x)=xf(x)=\sqrt{x} we have limx0+x=0\lim_{x\to 0^+}\sqrt{x}=0, while limx0x\lim_{x\to 0}\sqrt{x} is not discussed, because there is no punctured interval around 00 inside the domain [0,)[0,\infty).

How a limit can fail to exist

Failure modeModel example at aaWhy the limit fails
Jumpf(x)=1f(x)=-1 for x<0x<0 and f(x)=1f(x)=1 for x>0x>0, a=0a=0both one-sided limits exist (1-1 and 11) but disagree
Unbounded, same signf(x)=1x2f(x)=\dfrac{1}{x^2}, a=0a=0ff exceeds every bound; no real LL works. We write ==\infty as shorthand
Unbounded, opposite signsf(x)=1xf(x)=\dfrac{1}{x}, a=0a=0left side runs to -\infty, right side to ++\infty; a vertical asymptote
Oscillationf(x)=sin1xf(x)=\sin\dfrac{1}{x}, a=0a=0in every punctured interval about 00 the values sweep all of [1,1][-1,1]

An infinite limit is a description of failure, not an existence claim: \infty is not a real number, so "limx01x2=\lim_{x\to 0}\frac{1}{x^2}=\infty" and "the limit does not exist" are both correct and are saying the same thing at different levels of detail.

Reading limits off a graph

What you see near x=ax=aConclusion
Both branches head toward the same height LLlimxaf(x)=L\lim_{x\to a}f(x)=L, whatever happens at aa itself
A solid dot at (a,c)(a,c)f(a)=cf(a)=c; this says nothing about the limit
An open circle at (a,L)(a,L), curve otherwise unbrokenlimxaf(x)=L\lim_{x\to a}f(x)=L but f(a)Lf(a)\ne L or f(a)f(a) undefined
Two branches arriving at different heightslimit does not exist (jump); record both one-sided values
A vertical asymptote at x=ax=alimit does not exist; record ++\infty or -\infty on each side
Infinitely many wiggles compressing as xax\to alimit does not exist (oscillation)

Practical rule: to read limxa\lim_{x\to a^-}, put a finger on the curve to the left of aa and slide right, reporting the height your finger tends to. Never let your finger jump to a stray dot.

The precise definition

Definition (ε\varepsilon-δ\delta). Let ff be defined on a punctured interval about aa and let LL be a real number. Then limxaf(x)=L\lim_{x\to a}f(x)=L means:

for every ε>0\varepsilon>0 there exists δ>0\delta>0 such that, for all xx, if 0<xa<δ0<|x-a|<\delta then f(x)L<ε|f(x)-L|<\varepsilon.

Read it as a game: ε\varepsilon is a vertical tolerance handed to you by an opponent; δ\delta is the horizontal tolerance you must produce in reply. Crucially, δ\delta may depend on ε\varepsilon and on aa, but never on xx, because xx is quantified after δ\delta. The clause 0<xa0<|x-a| excludes x=ax=a.

StatementPrecise meaning
limxaf(x)=L\lim_{x\to a}f(x)=Lfor every ε>0\varepsilon>0 there is δ>0\delta>0: if aδ<x<a+δa-\delta<x<a+\delta and xax\ne a, then Lε<f(x)<L+εL-\varepsilon<f(x)<L+\varepsilon
limxaf(x)=L\lim_{x\to a^-}f(x)=Lfor every ε>0\varepsilon>0 there is δ>0\delta>0: if aδ<x<aa-\delta<x<a, then Lε<f(x)<L+εL-\varepsilon<f(x)<L+\varepsilon
limxa+f(x)=L\lim_{x\to a^+}f(x)=Lfor every ε>0\varepsilon>0 there is δ>0\delta>0: if a<x<a+δa<x<a+\delta, then Lε<f(x)<L+εL-\varepsilon<f(x)<L+\varepsilon
limxaf(x)=\lim_{x\to a}f(x)=\inftyfor every M>0M>0 there is δ>0\delta>0: if aδ<x<a+δa-\delta<x<a+\delta and xax\ne a, then f(x)>Mf(x)>M
limxaf(x)=\lim_{x\to a}f(x)=-\inftyfor every M>0M>0 there is δ>0\delta>0: if aδ<x<a+δa-\delta<x<a+\delta and xax\ne a, then f(x)<Mf(x)<-M

Negation. limxaf(x)L\lim_{x\to a}f(x)\ne L means: there exists ε>0\varepsilon>0 such that for every δ>0\delta>0 there is some xx with 0<xa<δ0<|x-a|<\delta and f(x)Lε|f(x)-L|\ge\varepsilon. To prove a limit does not exist, you must defeat every candidate LL at once - usually by exhibiting two families of inputs, arbitrarily close to aa, whose outputs stay a fixed distance apart.

Two structural facts worth memorising: if a given δ\delta works, then every smaller positive δ\delta works too; and you are never asked for the largest δ\delta, only for one that works.

Worked example 1 (linear): prove limx4(5x3)=17\lim_{x\to 4}(5x-3)=17

Scratch work (not the proof). Start from what we must make small and factor out x4|x-4|: (5x3)17=5x20=5x4.|(5x-3)-17| = |5x-20| = 5|x-4|. This is less than ε\varepsilon exactly when x4<ε5|x-4|<\dfrac{\varepsilon}{5}. That reverse-engineers δ\delta.

Proof. Let ε>0\varepsilon>0 be given. Put δ=ε5\delta=\dfrac{\varepsilon}{5}, which is positive. Suppose 0<x4<δ0<|x-4|<\delta. Then (5x3)17=5x20=5x4<5δ=5ε5=ε.\begin{aligned} |(5x-3)-17| &= |5x-20| \\ &= 5|x-4| \\ &< 5\delta \\ &= 5\cdot\frac{\varepsilon}{5} \\ &= \varepsilon. \end{aligned} Since ε>0\varepsilon>0 was arbitrary, limx4(5x3)=17\lim_{x\to 4}(5x-3)=17.

For any linear f(x)=mx+bf(x)=mx+b with m0m\ne 0, the same computation gives f(x)(ma+b)=mxa|f(x)-(ma+b)|=|m|\cdot|x-a|, so δ=εm\delta=\dfrac{\varepsilon}{|m|} always works. (If m=0m=0 the function is constant and any δ>0\delta>0 works.) Concretely, for ε=0.01\varepsilon=0.01 here, δ=0.002\delta=0.002.

Worked example 2 (quadratic): prove limx3x2=9\lim_{x\to 3}x^2=9

Scratch work. Factor: x29=x3x+3|x^2-9|=|x-3|\cdot|x+3|. We control x3|x-3| directly, but x+3|x+3| is a nuisance factor that must be bounded first. Agree in advance that δ1\delta\le 1. Then x3<1|x-3|<1, so by the triangle inequality x+3=(x3)+6x3+6<1+6=7|x+3| = |(x-3)+6| \le |x-3|+6 < 1+6 = 7 (equivalently: x3<1|x-3|<1 gives 2<x<42<x<4, hence 5<x+3<75<x+3<7). Therefore x29<7x3|x^2-9|<7|x-3|, which is below ε\varepsilon once x3<ε7|x-3|<\dfrac{\varepsilon}{7}. Both requirements are met by taking the smaller of the two.

Proof. Let ε>0\varepsilon>0. Put δ=min{1,ε7},\delta = \min\left\{1, \frac{\varepsilon}{7}\right\}, which is positive because both entries are. Suppose 0<x3<δ0<|x-3|<\delta. Since δ1\delta\le 1 we have x3<1|x-3|<1, hence x+3x3+6<7|x+3|\le |x-3|+6<7. Since δε7\delta\le\dfrac{\varepsilon}{7} we have x3<ε7|x-3|<\dfrac{\varepsilon}{7}. Multiplying the two bounds (all quantities are non-negative): x29=x3x+3<ε77=ε.|x^2-9| = |x-3|\cdot|x+3| < \frac{\varepsilon}{7}\cdot 7 = \varepsilon. Since ε>0\varepsilon>0 was arbitrary, limx3x2=9\lim_{x\to 3}x^2=9.

Sanity check with ε=0.7\varepsilon=0.7: then δ=min{1,0.1}=0.1\delta=\min\{1,0.1\}=0.1. At x=3.05x=3.05, x2=9.3025x^2=9.3025 and the error 0.3025<0.70.3025<0.7; at x=2.95x=2.95, x2=8.7025x^2=8.7025 and the error 0.2975<0.70.2975<0.7.

Common mistakes

  • Wrong: limxaf(x)=f(a)\lim_{x\to a}f(x)=f(a), automatically. Right: that equation is the definition of continuity at aa, a property to be verified, not part of the limit definition. The limit never inspects f(a)f(a).
  • Wrong: "limx01x2=\lim_{x\to 0}\frac{1}{x^2}=\infty, so the limit exists." Right: \infty is not a real number; the limit does not exist. The symbol records how it fails.
  • Wrong: choosing δ=εx+3\delta=\dfrac{\varepsilon}{|x+3|}. Right: δ\delta may not mention xx - xx is quantified after δ\delta. Bound the nuisance factor with a preliminary restriction such as δ1\delta\le 1, then take a minimum.
  • Wrong: writing x21x1=x+1\dfrac{x^2-1}{x-1}=x+1 as an identity of functions. Right: the left side is undefined at x=1x=1, so they are different functions. They agree for x1x\ne 1, which is precisely why cancelling is legal inside limx1\lim_{x\to 1}.
  • Wrong: reading "xax\to a^-" as "the limit is negative". Right: the superscript names the side of aa that xx comes from; it says nothing about the sign of ff.
  • Wrong: tabulating sinπx\sin\dfrac{\pi}{x} at x=0.1, 0.01, 0.001x=0.1,\ 0.01,\ 0.001, getting 0,0,00,0,0, and concluding the limit is 00. Right: those samples all land on zeros of the sine; the limit does not exist. A table can suggest an answer, never prove one.
  • Wrong: producing one δ\delta for one specific ε\varepsilon and calling it a proof. Right: the proof must give δ\delta as a formula in ε\varepsilon valid for every ε>0\varepsilon>0.
  • Wrong: dropping the "0<0<" and writing only xa<δ|x-a|<\delta. Right: with x=ax=a admitted, the function equal to x+1x+1 for x1x\ne 1 and to 1717 at x=1x=1 would have no limit at 11; in fact its limit there is 22.
  • Wrong: concluding the limit exists because the right-hand limit exists. Right: both one-sided limits must exist and agree - except at a domain endpoint, where only the one-sided statement is posed.
  • Wrong: cancelling a factor of xx in xx(x+9+3)\dfrac{x}{x(\sqrt{x+9}+3)} and worrying that it is illegal. Right: inside limx0\lim_{x\to 0} we always have x0x\ne 0, so the cancellation is valid on the whole punctured interval.

Key terms

  • limit
  • one-sided limit
  • left-hand limit
  • right-hand limit
  • punctured interval
  • does not exist (DNE)
  • jump discontinuity
  • oscillation
  • infinite limit
  • vertical asymptote
  • epsilon-delta definition
  • uniqueness of limits
  • removable discontinuity
  • reading limits from a graph

Practice Problems

Let f(x)={x+1,x<25,x=25x,x>2f(x)=\begin{cases} x+1, & x<2 \\ 5, & x=2 \\ 5-x, & x>2 \end{cases} Find (a) limx2f(x)\lim_{x\to 2^-}f(x), (b) limx2+f(x)\lim_{x\to 2^+}f(x), (c) limx2f(x)\lim_{x\to 2}f(x), and (d) f(2)f(2). Comment on the relationship between (c) and (d).

Show hint

Each one-sided limit uses only the formula valid on that side of 22; the value at x=2x=2 is a completely separate question.

Show answer

(a) Left-hand limit. For x<2x<2 the active rule is f(x)=x+1f(x)=x+1, so limx2f(x)=limx2(x+1)=2+1=3.\lim_{x\to 2^-}f(x)=\lim_{x\to 2^-}(x+1)=2+1=3.

(b) Right-hand limit. For x>2x>2 the active rule is f(x)=5xf(x)=5-x, so limx2+f(x)=limx2+(5x)=52=3.\lim_{x\to 2^+}f(x)=\lim_{x\to 2^+}(5-x)=5-2=3.

(c) Two-sided limit. Both one-sided limits exist and both equal 33. By the theorem "limxaf(x)=L\lim_{x\to a}f(x)=L if and only if both one-sided limits exist and equal LL", limx2f(x)=3.\lim_{x\to 2}f(x)=3.

(d) Value. The middle line of the definition applies exactly at x=2x=2, so f(2)=5f(2)=5.

Comment. The limit is 33 and the value is 55; they are different, and that is perfectly legal. The limit is computed from a punctured interval about 22 and never looks at x=2x=2 itself. Because the limit exists but differs from the value, ff has a removable discontinuity at 22: redefining f(2)=3f(2)=3 would make ff continuous there.

Let g(x)=x3x3g(x)=\dfrac{|x-3|}{x-3}.

(a) Find limx3g(x)\lim_{x\to 3^-}g(x) and limx3+g(x)\lim_{x\to 3^+}g(x).

(b) Does limx3g(x)\lim_{x\to 3}g(x) exist?

(c) Prove your answer to (b) directly from the ε\varepsilon-δ\delta definition.

Show hint

Remove the absolute value by splitting into the cases x>3x>3 and x<3x<3, using u=u|u|=u when u0u\ge 0 and u=u|u|=-u when u0u\le 0.

Show answer

The domain of gg is every real xx with x3x\ne 3, so a punctured interval about 33 is available and the question makes sense.

(a) Split on the sign of x3x-3.

If x>3x>3 then x3>0x-3>0, so x3=x3|x-3|=x-3 and g(x)=x3x3=1for all x>3,hencelimx3+g(x)=1.g(x)=\frac{x-3}{x-3}=1 \quad\text{for all } x>3, \qquad\text{hence}\qquad \lim_{x\to 3^+}g(x)=1.

If x<3x<3 then x3<0x-3<0, so x3=(x3)|x-3|=-(x-3) and g(x)=(x3)x3=1for all x<3,hencelimx3g(x)=1.g(x)=\frac{-(x-3)}{x-3}=-1 \quad\text{for all } x<3, \qquad\text{hence}\qquad \lim_{x\to 3^-}g(x)=-1.

(b) Both one-sided limits exist, but 11-1\ne 1. Therefore limx3g(x)\lim_{x\to 3}g(x) does not exist. This is the jump failure mode.

(c) Proof from the definition. Suppose, for contradiction, that some real number LL satisfies limx3g(x)=L\lim_{x\to 3}g(x)=L. Apply the definition with ε=1\varepsilon=1: there is a δ>0\delta>0 such that 0<x3<δ    g(x)L<1.0<|x-3|<\delta \implies |g(x)-L|<1. The punctured interval contains points on both sides of 33. Take x1=3+δ2>3andx2=3δ2<3,x_1=3+\frac{\delta}{2}>3 \qquad\text{and}\qquad x_2=3-\frac{\delta}{2}<3, both of which satisfy 0<x3=δ2<δ0<|x-3|=\frac{\delta}{2}<\delta. By part (a), g(x1)=1g(x_1)=1 and g(x2)=1g(x_2)=-1, so 1L<1and1L<1.|1-L|<1 \qquad\text{and}\qquad |-1-L|<1. Now apply the triangle inequality: 2=1(1)=(1L)+(L+1)1L+L+1<1+1=2,2=|1-(-1)|=|(1-L)+(L+1)|\le |1-L|+|L+1|<1+1=2, which says 2<22<2: a contradiction. Hence no real LL can be the limit, and limx3g(x)\lim_{x\to 3}g(x) does not exist.

The graph of y=h(x)y=h(x) has domain [3,4][-3,4] and consists of exactly three pieces:

  • a straight segment from the solid endpoint (3,1)(-3,-1) rising to an open circle at (1,3)(1,3) (these are the points with 3x<1-3\le x<1);
  • a single solid dot at (1,0)(1,0);
  • a straight segment from an open circle at (1,1)(1,1) rising to the solid endpoint (4,4)(4,4) (these are the points with 1<x41<x\le 4).

Find (a) limx1h(x)\lim_{x\to 1^-}h(x), (b) limx1+h(x)\lim_{x\to 1^+}h(x), (c) limx1h(x)\lim_{x\to 1}h(x), (d) h(1)h(1), (e) limx1h(x)\lim_{x\to -1}h(x) and h(1)h(-1), (f) limx4h(x)\lim_{x\to 4^-}h(x), and explain why limx4h(x)\lim_{x\to 4}h(x) is not posed.

Show hint

Recover the equation of each straight piece from its two listed endpoints; an open circle still tells you the height that branch is heading toward.

Show answer

Recover the formulas.

Left piece: through (3,1)(-3,-1) and (1,3)(1,3), slope =3(1)1(3)=44=1=\dfrac{3-(-1)}{1-(-3)}=\dfrac{4}{4}=1, so the line is y=x+2y=x+2. Check: at x=3x=-3, y=1y=-1; at x=1x=1, y=3y=3. Hence h(x)=x+2h(x)=x+2 for 3x<1-3\le x<1.

Right piece: through (1,1)(1,1) and (4,4)(4,4), slope =4141=1=\dfrac{4-1}{4-1}=1, so the line is y=xy=x. Check: at x=1x=1, y=1y=1; at x=4x=4, y=4y=4. Hence h(x)=xh(x)=x for 1<x41<x\le 4.

(a) limx1h(x)=limx1(x+2)=1+2=3\lim_{x\to 1^-}h(x)=\lim_{x\to 1^-}(x+2)=1+2=3. The circle at (1,3)(1,3) being open is irrelevant: the limit records the height the branch heads toward, not whether the point is attained.

(b) limx1+h(x)=limx1+x=1\lim_{x\to 1^+}h(x)=\lim_{x\to 1^+}x=1.

(c) The one-sided limits are 33 and 11. They both exist but 313\ne 1, so limx1h(x)\lim_{x\to 1}h(x) does not exist; the graph jumps by 22 at x=1x=1.

(d) h(1)=0h(1)=0, read off the solid dot. Notice that the three numbers 33, 11 and 00 are all different: left limit, right limit and value are three independent pieces of information.

(e) The point 1-1 lies strictly inside the interval [3,1)[-3,1), so on both sides of 1-1 the rule is h(x)=x+2h(x)=x+2. Therefore limx1h(x)=1+2=1,h(1)=1+2=1.\lim_{x\to -1}h(x)=-1+2=1, \qquad h(-1)=-1+2=1. Limit equals value, so hh is continuous at 1-1.

(f) limx4h(x)=limx4x=4\lim_{x\to 4^-}h(x)=\lim_{x\to 4^-}x=4, which also equals h(4)=4h(4)=4. The two-sided limit at 44 is not posed because hh is undefined for x>4x>4: there is no punctured interval about 44 contained in the domain, so there is no right-hand branch to approach along. At a domain endpoint only the one-sided limit is meaningful.

Let f(x)=x+93xf(x)=\dfrac{\sqrt{x+9}-3}{x}, defined for x9x\ge -9 with x0x\ne 0. Values of ff, rounded to six decimal places:

xx0.1-0.10.01-0.010.001-0.0010.0010.0010.010.010.10.1
f(x)f(x)0.1671320.1667130.1666710.1666620.1666200.166206

(a) Guess limx0f(x)\lim_{x\to 0}f(x) from the table.

(b) Confirm the exact value by algebra.

(c) Using g(x)=sinπxg(x)=\sin\dfrac{\pi}{x} sampled at x=1, 0.1, 0.01, 0.001x=1,\ 0.1,\ 0.01,\ 0.001, explain why a table can never prove a limit.

Show hint

For (b), the numerator is a difference involving a square root: multiply top and bottom by its conjugate.

Show answer

(a) Reading in from both ends, the values approach 0.166660.16666\ldots from above on the left and from below on the right. The natural guess is limx0f(x)=160.166667.\lim_{x\to 0}f(x)=\frac{1}{6}\approx 0.166667.

(b) Exact confirmation. Take any xx with x>9x>-9 and x0x\ne 0. Since x+9+33>0\sqrt{x+9}+3\ge 3>0, multiplying by the conjugate is legal: x+93x=x+93xx+9+3x+9+3=(x+9)232x(x+9+3)=(x+9)9x(x+9+3)=xx(x+9+3)=1x+9+3.\begin{aligned} \frac{\sqrt{x+9}-3}{x} &= \frac{\sqrt{x+9}-3}{x}\cdot\frac{\sqrt{x+9}+3}{\sqrt{x+9}+3} \\ &= \frac{(\sqrt{x+9})^2-3^2}{x(\sqrt{x+9}+3)} \\ &= \frac{(x+9)-9}{x(\sqrt{x+9}+3)} \\ &= \frac{x}{x(\sqrt{x+9}+3)} \\ &= \frac{1}{\sqrt{x+9}+3}. \end{aligned} Cancelling xx is valid because x0x\ne 0 everywhere on the punctured interval that the limit uses. As x0x\to 0 we have x+99x+9\to 9 and x+93\sqrt{x+9}\to 3, so limx0x+93x=13+3=16.\lim_{x\to 0}\frac{\sqrt{x+9}-3}{x}=\frac{1}{3+3}=\frac{1}{6}. This matches the table: for instance at x=0.1x=0.1, 19.1+3=16.016621=0.166206\dfrac{1}{\sqrt{9.1}+3}=\dfrac{1}{6.016621}=0.166206, exactly the tabulated entry.

(c) Why tables are not proofs. Evaluate g(x)=sinπxg(x)=\sin\dfrac{\pi}{x} at the suggested points: g(1)=sinπ=0,g(0.1)=sin(10π)=0,g(0.01)=sin(100π)=0,g(0.001)=sin(1000π)=0.g(1)=\sin\pi=0,\quad g(0.1)=\sin(10\pi)=0,\quad g(0.01)=\sin(100\pi)=0,\quad g(0.001)=\sin(1000\pi)=0. The table reads 0,0,0,00,0,0,0 and appears to shout "the limit is 00". But take xn=24n+1x_n=\dfrac{2}{4n+1} for a positive integer nn. Then πxn=(4n+1)π2=2πn+π2\dfrac{\pi}{x_n}=\dfrac{(4n+1)\pi}{2}=2\pi n+\dfrac{\pi}{2}, so g(xn)=1g(x_n)=1, and xn0x_n\to 0 as nn\to\infty. So arbitrarily close to 00 there are inputs with output 11 as well as inputs with output 00, and limx0g(x)\lim_{x\to 0}g(x) does not exist. A table samples finitely many points; a limit is a claim about all points near aa. Tables suggest, definitions prove.

Let f(x)={cx+3,x<1x2cx,x1f(x)=\begin{cases} cx+3, & x<1 \\ x^2-cx, & x\ge 1 \end{cases} where cc is a constant.

(a) Find every value of cc for which limx1f(x)\lim_{x\to 1}f(x) exists, and state the limit.

(b) For that value of cc, compute f(1)f(1) and compare it with the limit.

(c) If instead c=0c=0, find the two one-sided limits and describe how the limit fails.

Show hint

Compute each one-sided limit as an expression in cc, then force the two expressions to agree.

Show answer

(a) For x<1x<1 the rule is the polynomial cx+3cx+3, so limx1f(x)=c1+3=c+3.\lim_{x\to 1^-}f(x)=c\cdot 1+3=c+3. For x>1x>1 the rule is the polynomial x2cxx^2-cx, so limx1+f(x)=12c1=1c.\lim_{x\to 1^+}f(x)=1^2-c\cdot 1=1-c. The two-sided limit exists exactly when these two numbers are equal: c+3=1cc+c=132c=2c=1.\begin{aligned} c+3 &= 1-c \\ c+c &= 1-3 \\ 2c &= -2 \\ c &= -1. \end{aligned} So c=1c=-1 is the only value. Verify both sides with c=1c=-1: the left-hand limit is 1+3=2-1+3=2 and the right-hand limit is 1(1)=21-(-1)=2. They agree, so limx1f(x)=2.\lim_{x\to 1}f(x)=2.

(b) The second line of the definition covers x1x\ge 1, so it is the one that applies at x=1x=1: f(1)=12(1)(1)=1+1=2.f(1)=1^2-(-1)(1)=1+1=2. The limit equals the value, so ff is in fact continuous at x=1x=1 for c=1c=-1.

(c) With c=0c=0 the pieces become f(x)=3f(x)=3 for x<1x<1 and f(x)=x2f(x)=x^2 for x1x\ge 1. Then limx1f(x)=0+3=3,limx1+f(x)=120=1.\lim_{x\to 1^-}f(x)=0+3=3, \qquad \lim_{x\to 1^+}f(x)=1^2-0=1. Both one-sided limits exist, but 313\ne 1, so limx1f(x)\lim_{x\to 1}f(x) does not exist. The failure is a jump of size 31=2|3-1|=2; note that the function is bounded and perfectly tame on each side, so nothing here is about blowing up or oscillating.

Let F(x)=1x2F(x)=\dfrac{1}{x-2} and G(x)=1(x2)2G(x)=\dfrac{1}{(x-2)^2}.

(a) Find limx2F(x)\lim_{x\to 2^-}F(x) and limx2+F(x)\lim_{x\to 2^+}F(x), and say what this means for limx2F(x)\lim_{x\to 2}F(x).

(b) Prove limx2G(x)=\lim_{x\to 2}G(x)=\infty straight from the definition: for every M>0M>0 there is δ>0\delta>0 such that 0<x2<δ0<|x-2|<\delta implies G(x)>MG(x)>M.

(c) Does limx2G(x)\lim_{x\to 2}G(x) exist?

Show hint

For (a) track the sign of x2x-2 on each side. For (b) start from the inequality you want, G(x)>MG(x)>M, and solve it for x2|x-2|.

Show answer

(a) As x2x\to 2^- we have x2<0x-2<0 with x2|x-2| shrinking to 00, so 1x2\dfrac{1}{x-2} is negative with unbounded magnitude: limx21x2=.\lim_{x\to 2^-}\frac{1}{x-2}=-\infty. As x2+x\to 2^+ we have x2>0x-2>0 and small, so limx2+1x2=+.\lim_{x\to 2^+}\frac{1}{x-2}=+\infty. Neither one-sided limit is a real number, so limx2F(x)\lim_{x\to 2}F(x) does not exist. Moreover, because the two sides run to opposite infinities, we cannot even record a single symbol ++\infty or -\infty for the two-sided limit. The line x=2x=2 is a vertical asymptote of FF.

(b) Proof. Let M>0M>0 be given. Work backwards from the target. For x2x\ne 2 we have (x2)2>0(x-2)^2>0, so 1(x2)2>M    1>M(x2)2    (x2)2<1M    x2<1M.\frac{1}{(x-2)^2}>M \iff 1>M(x-2)^2 \iff (x-2)^2<\frac{1}{M} \iff |x-2|<\frac{1}{\sqrt{M}}. So set δ=1M>0.\delta=\frac{1}{\sqrt{M}}>0. Now suppose 0<x2<δ0<|x-2|<\delta. Squaring the positive quantities preserves the inequality: 0<(x2)2<δ2=1M.0<(x-2)^2<\delta^2=\frac{1}{M}. Taking reciprocals of positive numbers reverses the inequality: G(x)=1(x2)2>M.G(x)=\frac{1}{(x-2)^2}>M. Since M>0M>0 was arbitrary, limx2G(x)=\lim_{x\to 2}G(x)=\infty.

Numerical check: for M=10000M=10000 the recipe gives δ=1100=0.01\delta=\frac{1}{100}=0.01. At x=2.005x=2.005 we have 0<x2=0.005<0.010<|x-2|=0.005<0.01 and G(x)=10.000025=40000>10000G(x)=\dfrac{1}{0.000025}=40000>10000, as promised.

(c) No. The statement "==\infty" is not an existence claim: \infty is not a real number, and the definition of "the limit exists" requires a real LL. The equation is a precise description of the failure - GG eventually exceeds every bound near 22. If asked "does the limit exist?", answer no; if asked "describe the behaviour", answer \infty.

Let f(x)=3x+2f(x)=3x+2, a=1a=1, L=5L=5.

(a) Find the largest δ>0\delta>0 for which "0<x1<δ    f(x)5<0.060<|x-1|<\delta \implies |f(x)-5|<0.06" is true.

(b) Do the same for ε=0.003\varepsilon=0.003.

(c) Give δ\delta as a formula in an arbitrary ε>0\varepsilon>0 and write out the full proof that limx1(3x+2)=5\lim_{x\to 1}(3x+2)=5.

Show hint

Simplify f(x)5|f(x)-5| before doing anything else; for a linear function it collapses to a constant times x1|x-1|.

Show answer

First simplify the quantity that must be made small: f(x)5=(3x+2)5=3x3=3(x1)=3x1.|f(x)-5|=|(3x+2)-5|=|3x-3|=|3(x-1)|=3|x-1|.

(a) We need 3x1<0.063|x-1|<0.06, i.e. x1<0.063=0.02|x-1|<\dfrac{0.06}{3}=0.02. So the implication is true precisely when δ0.02\delta\le 0.02, and the largest such δ\delta is δ=0.02.\delta=0.02. Any smaller positive δ\delta also works; the definition never requires the largest one.

(b) We need 3x1<0.0033|x-1|<0.003, i.e. x1<0.0033=0.001|x-1|<\dfrac{0.003}{3}=0.001, so the largest is δ=0.001.\delta=0.001.

(c) General proof. Let ε>0\varepsilon>0 be given. Put δ=ε3,\delta=\frac{\varepsilon}{3}, which is positive since ε>0\varepsilon>0. Suppose 0<x1<δ0<|x-1|<\delta. Then (3x+2)5=3x3=3x1<3δ=3ε3=ε.\begin{aligned} |(3x+2)-5| &= |3x-3| \\ &= 3|x-1| \\ &< 3\delta \\ &= 3\cdot\frac{\varepsilon}{3} \\ &= \varepsilon. \end{aligned} Since ε>0\varepsilon>0 was arbitrary, the definition is satisfied and limx1(3x+2)=5\lim_{x\to 1}(3x+2)=5.

Consistency check against parts (a) and (b): the formula gives δ=0.063=0.02\delta=\dfrac{0.06}{3}=0.02 and δ=0.0033=0.001\delta=\dfrac{0.003}{3}=0.001, matching both answers exactly.

(a) Prove from the ε\varepsilon-δ\delta definition that limx2(47x)=18\lim_{x\to -2}(4-7x)=18.

(b) State a δ\delta that works for a general linear function f(x)=mx+bf(x)=mx+b at a general point aa, and say what happens in the edge case m=0m=0.

Show hint

Compute f(x)18|f(x)-18| and factor out x+2|x+2|; the negative coefficient disappears once it is inside the absolute value.

Show answer

Plausibility check. At x=2x=-2: 47(2)=4+14=184-7(-2)=4+14=18, so L=18L=18 is the right target.

Scratch work. Simplify what must be made small: (47x)18=7x14=7(x+2)=7x+2=7x+2.|(4-7x)-18|=|-7x-14|=|-7(x+2)|=|-7|\cdot|x+2|=7|x+2|. This is below ε\varepsilon exactly when x+2<ε7|x+2|<\dfrac{\varepsilon}{7}.

(a) Proof. Let ε>0\varepsilon>0 be given. Put δ=ε7>0.\delta=\frac{\varepsilon}{7}>0. Suppose 0<x(2)=x+2<δ0<|x-(-2)|=|x+2|<\delta. Then (47x)18=7x14=7x+2<7δ=7ε7=ε.\begin{aligned} |(4-7x)-18| &= |-7x-14| \\ &= 7|x+2| \\ &< 7\delta \\ &= 7\cdot\frac{\varepsilon}{7} \\ &= \varepsilon. \end{aligned} Since ε>0\varepsilon>0 was arbitrary, limx2(47x)=18\lim_{x\to -2}(4-7x)=18.

Numerical check with ε=0.7\varepsilon=0.7: the recipe gives δ=0.1\delta=0.1. At x=1.95x=-1.95 we have x+2=0.05<0.1|x+2|=0.05<0.1, and 47(1.95)=4+13.65=17.654-7(-1.95)=4+13.65=17.65, so the error is 17.6518=0.35<0.7|17.65-18|=0.35<0.7, as promised.

(b) General linear case. For f(x)=mx+bf(x)=mx+b the limit at aa is L=ma+bL=ma+b, and f(x)L=(mx+b)(ma+b)=m(xa)=mxa.|f(x)-L|=|(mx+b)-(ma+b)|=|m(x-a)|=|m|\cdot|x-a|. If m0m\ne 0, take δ=εm,\delta=\frac{\varepsilon}{|m|}, and then 0<xa<δ0<|x-a|<\delta gives f(x)L=mxa<mεm=ε|f(x)-L|=|m|\cdot|x-a|<|m|\cdot\dfrac{\varepsilon}{|m|}=\varepsilon.

Edge case m=0m=0: the formula εm\dfrac{\varepsilon}{|m|} is undefined, but here ff is the constant bb and L=bL=b, so f(x)L=0<ε|f(x)-L|=0<\varepsilon for every xx. Any δ>0\delta>0 works, for instance δ=1\delta=1.

Show that limx0sin1x\lim_{x\to 0}\sin\dfrac{1}{x} does not exist. Give both a short "two families of inputs" argument and a complete contradiction proof from the ε\varepsilon-δ\delta definition. Then contrast the behaviour with limx0xsin1x\lim_{x\to 0}x\sin\dfrac{1}{x}.

Show hint

Look for inputs arbitrarily close to 00 at which the function is exactly 00, and other inputs arbitrarily close to 00 at which it is exactly 11.

Show answer

Two families of inputs. For each positive integer nn set xn=12πn,tn=12πn+π2.x_n=\frac{1}{2\pi n}, \qquad t_n=\frac{1}{2\pi n+\frac{\pi}{2}}. Both are positive, and both tend to 00 as nn\to\infty because their denominators tend to \infty. Their function values are sin1xn=sin(2πn)=0,sin1tn=sin(2πn+π2)=sinπ2=1.\sin\frac{1}{x_n}=\sin(2\pi n)=0, \qquad \sin\frac{1}{t_n}=\sin\left(2\pi n+\frac{\pi}{2}\right)=\sin\frac{\pi}{2}=1. So in every punctured interval about 00 the function attains both the value 00 and the value 11. It cannot be settling toward a single number, so the limit does not exist.

Full proof by contradiction. Suppose some real number LL satisfied limx0sin1x=L\lim_{x\to 0}\sin\dfrac{1}{x}=L. Apply the definition with ε=12\varepsilon=\dfrac{1}{2}: there is δ>0\delta>0 such that 0<x<δ    sin1xL<12.0<|x|<\delta \implies \left|\sin\frac{1}{x}-L\right|<\frac{1}{2}. Choose an integer n>12πδn>\dfrac{1}{2\pi\delta}, which is possible since the integers are unbounded. Then 2πn>1δ2\pi n>\dfrac{1}{\delta}, so 0<xn=12πn<δ,and also0<tn=12πn+π2<xn<δ,0<x_n=\frac{1}{2\pi n}<\delta, \qquad\text{and also}\qquad 0<t_n=\frac{1}{2\pi n+\frac{\pi}{2}}<x_n<\delta, the middle inequality because 2πn+π2>2πn>02\pi n+\frac{\pi}{2}>2\pi n>0. Both xnx_n and tnt_n therefore satisfy the hypothesis 0<x<δ0<|x|<\delta, so 0L<12and1L<12.|0-L|<\frac{1}{2} \qquad\text{and}\qquad |1-L|<\frac{1}{2}. The triangle inequality now gives 1=10=(1L)+(L0)1L+L0<12+12=1,1=|1-0|=|(1-L)+(L-0)|\le |1-L|+|L-0|<\frac{1}{2}+\frac{1}{2}=1, that is, 1<11<1: a contradiction. No real LL works, so limx0sin1x\lim_{x\to 0}\sin\dfrac{1}{x} does not exist.

Contrast. The failure here is oscillation, not size: sin1x\sin\dfrac{1}{x} never leaves [1,1][-1,1]. If we multiply by xx, the amplitude is crushed. Since xxsin1xx-|x|\le x\sin\dfrac{1}{x}\le |x| for all x0x\ne 0, and both bounds tend to 00, the Squeeze Theorem gives limx0xsin1x=0.\lim_{x\to 0}x\sin\frac{1}{x}=0. Same infinitely many wiggles, but now they are trapped in a shrinking envelope, so the limit exists.

Prove from the ε\varepsilon-δ\delta definition that limx2x2=4\lim_{x\to 2}x^2=4. State explicitly where the preliminary restriction δ1\delta\le 1 is used and why it is needed.

Show hint

Factor x24x^2-4. One factor you control directly; the other must first be bounded by agreeing in advance to keep xx within distance 11 of 22.

Show answer

Scratch work. Factor the quantity that must be made small: x24=(x2)(x+2)=x2x+2.|x^2-4|=|(x-2)(x+2)|=|x-2|\cdot|x+2|. The factor x2|x-2| is exactly what δ\delta controls. The factor x+2|x+2| is a nuisance: it must be bounded by a constant before the product can be forced below ε\varepsilon. So agree in advance that δ1\delta\le 1. Then x2<1|x-2|<1, and by the triangle inequality x+2=(x2)+4x2+4<1+4=5.|x+2|=|(x-2)+4|\le |x-2|+4<1+4=5. (Equivalently: x2<1|x-2|<1 means 1<x<31<x<3, hence 3<x+2<53<x+2<5, so x+2<5|x+2|<5.) With that bound, x24<5x2|x^2-4|<5|x-2|, which is below ε\varepsilon as soon as x2<ε5|x-2|<\dfrac{\varepsilon}{5}. Both requirements are enforced at once by taking the smaller of 11 and ε5\dfrac{\varepsilon}{5}.

Proof. Let ε>0\varepsilon>0 be given. Define δ=min{1, ε5}.\delta=\min\left\{1,\ \frac{\varepsilon}{5}\right\}. This is positive because both entries are positive. Suppose 0<x2<δ0<|x-2|<\delta.

Since δ1\delta\le 1, we have x2<1|x-2|<1, and therefore x+2=(x2)+4x2+4<1+4=5.|x+2|=|(x-2)+4|\le |x-2|+4<1+4=5. Since δε5\delta\le \dfrac{\varepsilon}{5}, we have x2<ε5|x-2|<\dfrac{\varepsilon}{5}.

Multiplying these two bounds (both sides non-negative): x24=x2x+2<ε55=ε.|x^2-4|=|x-2|\cdot|x+2|<\frac{\varepsilon}{5}\cdot 5=\varepsilon. Since ε>0\varepsilon>0 was arbitrary, limx2x2=4\lim_{x\to 2}x^2=4.

Where δ1\delta\le 1 is used and why. It is used only to produce the bound x+2<5|x+2|<5. Without some preliminary restriction, xx could in principle be far from 22, making x+2|x+2| arbitrarily large; then the product x2x+2|x-2|\cdot|x+2| need not be small even when x2|x-2| is. The choice of 11 is arbitrary convenience: δ12\delta\le\frac{1}{2} would give x+2<4.5|x+2|<4.5 and δ=min{12,2ε9}\delta=\min\{\frac{1}{2},\frac{2\varepsilon}{9}\}, equally valid.

Numerical check. With ε=0.5\varepsilon=0.5 the recipe gives δ=min{1,0.1}=0.1\delta=\min\{1,0.1\}=0.1. At x=2.09x=2.09: x2=4.3681x^2=4.3681, error 0.3681<0.50.3681<0.5. At x=1.91x=1.91: x2=3.6481x^2=3.6481, error 0.3519<0.50.3519<0.5. Both are within tolerance.

Prove from the ε\varepsilon-δ\delta definition that limx1(x2+3x)=4\lim_{x\to 1}(x^2+3x)=4. Then redo the choice of δ\delta using the preliminary restriction δ12\delta\le\dfrac{1}{2} instead of δ1\delta\le 1, and explain why both answers are correct.

Show hint

The expression x2+3x4x^2+3x-4 factors, and one of its factors is x1x-1.

Show answer

Plausibility check. At x=1x=1: 12+3(1)=41^2+3(1)=4, so L=4L=4 is the right target.

Factor. The polynomial x2+3x4x^2+3x-4 has roots 11 and 4-4, so x2+3x4=(x1)(x+4).x^2+3x-4=(x-1)(x+4). Expand to confirm: (x1)(x+4)=x2+4xx4=x2+3x4(x-1)(x+4)=x^2+4x-x-4=x^2+3x-4. Hence (x2+3x)4=x1x+4.|(x^2+3x)-4|=|x-1|\cdot|x+4|.

Bound the nuisance factor. Agree that δ1\delta\le 1. Then x1<1|x-1|<1, so 0<x<20<x<2, so 4<x+4<64<x+4<6, giving x+4<6|x+4|<6. (Triangle-inequality version: x+4=(x1)+5x1+5<1+5=6|x+4|=|(x-1)+5|\le |x-1|+5<1+5=6.) Thus (x2+3x)4<6x1|(x^2+3x)-4|<6|x-1|, which is below ε\varepsilon once x1<ε6|x-1|<\dfrac{\varepsilon}{6}.

Proof. Let ε>0\varepsilon>0 be given. Define δ=min{1, ε6}>0.\delta=\min\left\{1,\ \frac{\varepsilon}{6}\right\}>0. Suppose 0<x1<δ0<|x-1|<\delta. Since δ1\delta\le 1 we get x1<1|x-1|<1, hence x+4x1+5<6|x+4|\le |x-1|+5<6. Since δε6\delta\le\dfrac{\varepsilon}{6} we get x1<ε6|x-1|<\dfrac{\varepsilon}{6}. Therefore (x2+3x)4=x1x+4<ε66=ε.|(x^2+3x)-4|=|x-1|\cdot|x+4|<\frac{\varepsilon}{6}\cdot 6=\varepsilon. Since ε>0\varepsilon>0 was arbitrary, limx1(x2+3x)=4\lim_{x\to 1}(x^2+3x)=4.

Version with δ12\delta\le\dfrac{1}{2}. Now x1<12|x-1|<\dfrac{1}{2} gives 12<x<32\dfrac{1}{2}<x<\dfrac{3}{2}, hence 92<x+4<112\dfrac{9}{2}<x+4<\dfrac{11}{2}, so x+4<112|x+4|<\dfrac{11}{2}. Then (x2+3x)4<112x1|(x^2+3x)-4|<\dfrac{11}{2}|x-1|, which is below ε\varepsilon once x1<2ε11|x-1|<\dfrac{2\varepsilon}{11}. So δ=min{12, 2ε11}\delta=\min\left\{\frac{1}{2},\ \frac{2\varepsilon}{11}\right\} also works, by the identical argument.

Why both are correct. The definition asks only for the existence of some δ>0\delta>0 that does the job; it is never unique. In fact if one δ\delta works then every smaller positive δ\delta works too, since shrinking δ\delta only shrinks the set of xx that must satisfy the conclusion.

Numerical check. With ε=0.6\varepsilon=0.6 the first recipe gives δ=min{1,0.1}=0.1\delta=\min\{1,0.1\}=0.1. At x=1.09x=1.09: x2+3x=1.1881+3.27=4.4581x^2+3x=1.1881+3.27=4.4581, error 0.4581<0.60.4581<0.6. At x=0.91x=0.91: 0.8281+2.73=3.55810.8281+2.73=3.5581, error 0.4419<0.60.4419<0.6. Both within tolerance.

Prove from the ε\varepsilon-δ\delta definition that limx31x=13\lim_{x\to 3}\dfrac{1}{x}=\dfrac{1}{3}. Explain why a preliminary restriction on δ\delta is not merely convenient here but genuinely necessary.

Show hint

Combine the difference into a single fraction; the denominator still contains xx, so before you can control anything you must keep xx bounded away from 00.

Show answer

Scratch work. Combine into one fraction: 1x13=3x3x=3x3x=x33x=x313x,\left|\frac{1}{x}-\frac{1}{3}\right|=\left|\frac{3-x}{3x}\right|=\frac{|3-x|}{|3x|}=\frac{|x-3|}{3|x|} = |x-3|\cdot\frac{1}{3|x|}, using 3x=x3|3-x|=|x-3| and 3x=3x|3x|=3|x| (since 3>03>0).

The factor x3|x-3| is controlled by δ\delta. The factor 13x\dfrac{1}{3|x|} is the nuisance, and it is worse than in a polynomial problem: it blows up as xx approaches 00, and the expression 1x\dfrac{1}{x} is not even defined at x=0x=0. So restrict first: require δ32\delta\le\dfrac{3}{2}. Then x3<32|x-3|<\dfrac{3}{2}, so 32<x<92    x=x>32    3x>92    13x<29.\frac{3}{2}<x<\frac{9}{2} \implies |x|=x>\frac{3}{2} \implies 3|x|>\frac{9}{2} \implies \frac{1}{3|x|}<\frac{2}{9}. Hence 1x13<29x3\left|\dfrac{1}{x}-\dfrac{1}{3}\right|<\dfrac{2}{9}|x-3|, which is below ε\varepsilon once x3<9ε2|x-3|<\dfrac{9\varepsilon}{2}.

Proof. Let ε>0\varepsilon>0 be given. Define δ=min{32, 9ε2},\delta=\min\left\{\frac{3}{2},\ \frac{9\varepsilon}{2}\right\}, which is positive because both entries are. Suppose 0<x3<δ0<|x-3|<\delta.

Because δ32\delta\le\dfrac{3}{2}: x3<32|x-3|<\dfrac{3}{2}, so x>332=32>0x>3-\dfrac{3}{2}=\dfrac{3}{2}>0. In particular x0x\ne 0, so 1x\dfrac{1}{x} is defined, and x=x>32|x|=x>\dfrac{3}{2}, giving 13x<1332=192=29.\frac{1}{3|x|}<\frac{1}{3\cdot\frac{3}{2}}=\frac{1}{\frac{9}{2}}=\frac{2}{9}.

Because δ9ε2\delta\le\dfrac{9\varepsilon}{2}: x3<9ε2|x-3|<\dfrac{9\varepsilon}{2}.

Multiplying the two non-negative bounds: 1x13=x313x<9ε229=ε.\left|\frac{1}{x}-\frac{1}{3}\right|=|x-3|\cdot\frac{1}{3|x|}<\frac{9\varepsilon}{2}\cdot\frac{2}{9}=\varepsilon. Since ε>0\varepsilon>0 was arbitrary, limx31x=13\lim_{x\to 3}\dfrac{1}{x}=\dfrac{1}{3}.

Why the restriction is necessary. Two reasons, and the second is the serious one. First, without a bound the factor 13x\dfrac{1}{3|x|} is unbounded, so no inequality of the form 1x13<Kx3\left|\frac{1}{x}-\frac13\right|<K|x-3| holds with a fixed constant KK on the whole line. Second, f(x)=1xf(x)=\frac1x is not even defined at x=0x=0; a δ\delta larger than 33 would admit xx-values at and beyond 00, where the expression f(x)L|f(x)-L| is meaningless. Any restriction keeping xx strictly away from 00 would do, for example δ1\delta\le 1 (giving x>2|x|>2, 13x<16\frac{1}{3|x|}<\frac16, and δ=min{1,6ε}\delta=\min\{1,6\varepsilon\}).

Numerical check. With ε=0.02\varepsilon=0.02 the recipe gives δ=min{1.5, 0.09}=0.09\delta=\min\{1.5,\ 0.09\}=0.09. At x=3.09x=3.09: 1x=0.3236246\dfrac{1}{x}=0.3236246, error =0.0097087<0.02=0.0097087<0.02. At x=2.91x=2.91: 1x=0.3436426\dfrac{1}{x}=0.3436426, error =0.0103093<0.02=0.0103093<0.02. Both within tolerance.