2. Limits: A Study Guide

A progressive guide to interpreting, evaluating, and formally defining limits, including one-sided behavior, algebraic techniques, asymptotes, and limits at infinity.

Understanding What a Describes

A describes the output value a function approaches as its input gets close to a specified number. The notation lim⁡x→af(x)=L\lim_{x\to a}f(x)=L means that f(x)f(x) approaches LL as xx approaches aa. The input need not equal aa, and the function need not be defined at aa.

A removable discontinuity

Consider

f(x)=x2−1x−1.f(x)=\frac{x^2-1}{x-1}.

At x=1x=1, the original expression is undefined. For x≠1x\ne1, however,

x2−1x−1=(x−1)(x+1)x−1=x+1.\frac{x^2-1}{x-1}=\frac{(x-1)(x+1)}{x-1}=x+1.

Therefore,

lim⁡x→1x2−1x−1=lim⁡x→1(x+1)=2.\lim_{x\to1}\frac{x^2-1}{x-1}=\lim_{x\to1}(x+1)=2.

The graph has a hole at (1,2)(1,2), but the exists because nearby values approach 22. This distinction between a function's value and its is fundamental: the concerns nearby behavior, not necessarily the value at the target input.

Estimating from tables and graphs

Values close to the target can suggest a . For the function above, values at x=0.9,0.99,1.01,1.1x=0.9,0.99,1.01,1.1 are respectively 1.9,1.99,2.01,2.11.9,1.99,2.01,2.1, which indicates approach toward 22. On a graph, follow the curve toward the target from both sides. If both sides approach the same height, that height is the two-sided ; a missing point does not prevent the from existing.

Takeaway: A describes nearby behavior and can exist even when the function is undefined at the point.

Comparing Left- and Right-Hand Behavior

To determine a two-sided , compare behavior from the left and from the right. The lim⁡x→a−f(x)\lim_{x\to a^-}f(x) examines inputs less than aa, while lim⁡x→a+f(x)\lim_{x\to a^+}f(x) examines inputs greater than aa.

The existence test

The relationship is

lim⁡x→af(x)=L⟺lim⁡x→a−f(x)=L and lim⁡x→a+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 agree. If they approach different values, the two-sided does not exist.

Example: a jump

Let

f(x)={0,x<2, 3,x≥2.f(x)= \begin{cases} 0,&x<2,\ 3,&x\ge2. \end{cases}

Then

lim⁡x→2−f(x)=0,lim⁡x→2+f(x)=3.\lim_{x\to2^-}f(x)=0, \qquad \lim_{x\to2^+}f(x)=3.

Because the one-sided limits disagree, lim⁡x→2f(x)\lim_{x\to2}f(x) does not exist. This approach is especially useful for piecewise functions and for analyzing behavior near a possible .

A can also fail because the function grows without bound or oscillates without settling toward one value. In every case, the value assigned exactly at x=ax=a does not determine the two-sided .

Takeaway: Always check both sides when a function is piecewise, discontinuous, or undefined near the target.

Making Limits Precise with Epsilon and Delta

The intuitive idea that outputs get arbitrarily close to LL can be expressed precisely by the . The statement

lim⁡x→af(x)=L\lim_{x\to a}f(x)=L

means that for every ε>0\varepsilon>0, there is a δ>0\delta>0 such that

0<∣x−a∣<δ⟹∣f(x)−L∣<ε.0<|x-a|<\delta\quad\Longrightarrow\quad |f(x)-L|<\varepsilon.

The quantity ε\varepsilon is the permitted output error. The quantity δ\delta is the input distance that guarantees this error bound. The condition 0<∣x−a∣0<|x-a| excludes the point x=ax=a, which is why the value f(a)f(a) is irrelevant to the .

Example: a linear function

To prove

lim⁡x→3(2x+1)=7,\lim_{x\to3}(2x+1)=7,

rewrite the output difference:

∣(2x+1)−7∣=∣2x−6∣=2∣x−3∣.|(2x+1)-7|=|2x-6|=2|x-3|.

Given any ε>0\varepsilon>0, choose

δ=ε2.\delta=\frac{\varepsilon}{2}.

If 0<∣x−3∣<δ0<|x-3|<\delta, then

∣(2x+1)−7∣=2∣x−3∣<2δ=ε.|(2x+1)-7|=2|x-3|<2\delta=\varepsilon.

This verifies the . For a right-hand , the input condition is 0<x−a<δ0<x-a<\delta; for a left-hand , it is −δ<x−a<0-\delta<x-a<0.

Takeaway: The formal definition turns “gets close” into a quantified guarantee: every output tolerance can be achieved by choosing a suitable input tolerance.

Using and Algebraic Simplification

When the component limits exist, allow a complicated expression to be broken into simpler parts. If

lim⁡x→af(x)=Landlim⁡x→ag(x)=M,\lim_{x\to a}f(x)=L \quad\text{and}\quad \lim_{x\to a}g(x)=M,

then sums, differences, constant multiples, products, powers, and appropriate roots follow the corresponding algebraic rules. For quotients,

lim⁡x→af(x)g(x)=LM\lim_{x\to a}\frac{f(x)}{g(x)}=\frac{L}{M}

requires M≠0M\ne0.

Direct substitution

Polynomials can be evaluated by direct substitution:

lim⁡x→2(3x2−5x+4)=3(2)2−5(2)+4=6.\lim_{x\to2}(3x^2-5x+4)=3(2)^2-5(2)+4=6.

For a rational function whose denominator does not approach zero,

lim⁡x→1x2+3x+2=12+31+2=43.\lim_{x\to1}\frac{x^2+3}{x+2}=\frac{1^2+3}{1+2}=\frac43.

Direct substitution is not a complete method when it produces an such as 0/00/0. That result signals the need for additional algebraic or analytic work.

Factoring and canceling

For

lim⁡x→3x2−9x−3,\lim_{x\to3}\frac{x^2-9}{x-3},

factor the numerator:

x2−9x−3=(x−3)(x+3)x−3=x+3,x≠3.\frac{x^2-9}{x-3}=\frac{(x-3)(x+3)}{x-3}=x+3,\qquad x\ne3.

Thus,

lim⁡x→3x2−9x−3=lim⁡x→3(x+3)=6.\lim_{x\to3}\frac{x^2-9}{x-3}=\lim_{x\to3}(x+3)=6.

The cancellation preserves the behavior near x=3x=3, even though the original expression remains undefined at that point.

Rationalizing with a conjugate

For

lim⁡x→0x+1−1x,\lim_{x\to0}\frac{\sqrt{x+1}-1}{x},

multiply by the conjugate:

x+1−1x⋅x+1+1x+1+1=1x+1+1\frac{\sqrt{x+1}-1}{x}\cdot\frac{\sqrt{x+1}+1}{\sqrt{x+1}+1} =\frac{1}{\sqrt{x+1}+1}

for x≠0x\ne0. Therefore, the equals 1/21/2.

Takeaway: Use direct substitution when valid; when it gives 0/00/0, simplify without changing the nearby behavior.

Applying the

The is useful when a function is difficult to evaluate directly but can be bounded by simpler functions. If

g(x)≤f(x)≤h(x)g(x)\le f(x)\le h(x)

near aa, and

lim⁡x→ag(x)=lim⁡x→ah(x)=L,\lim_{x\to a}g(x)=\lim_{x\to a}h(x)=L,

then

lim⁡x→af(x)=L.\lim_{x\to a}f(x)=L.

Oscillation controlled by shrinking bounds

Because

−1≤sin⁡(1x)≤1,-1\le\sin\left(\frac1x\right)\le1,

multiplication by ∣x∣|x| gives

−∣x∣≤xsin⁡(1x)≤∣x∣.-|x|\le x\sin\left(\frac1x\right)\le|x|.

As x→0x\to0, both −∣x∣-|x| and ∣x∣|x| approach 00. The therefore yields

lim⁡x→0xsin⁡(1x)=0.\lim_{x\to0}x\sin\left(\frac1x\right)=0.

The middle function oscillates increasingly rapidly, but its amplitude shrinks toward zero, forcing its values toward zero.

Takeaway: Matching bounds can establish a even when the function itself is oscillatory or awkward to simplify.

Analyzing Infinite Behavior and Asymptotes

An describes unbounded behavior as the input approaches a finite number. For example,

lim⁡x→0+1x=+∞\lim_{x\to0^+}\frac1x=+\infty

means that the function eventually exceeds every prescribed positive bound as xx approaches zero from the right. It does not mean that the function reaches a real value called infinity. From the left,

lim⁡x→0−1x=−∞.\lim_{x\to0^-}\frac1x=-\infty.

Since the two sides have different behavior, there is no two-sided at zero for this function.

A is a line x=ax=a where at least one is infinite. For

f(x)=1(x+3)2,f(x)=\frac{1}{(x+3)^2},

both one-sided limits as x→−3x\to-3 are +∞+\infty, so x=−3x=-3 is a . To determine the sign near such a line, inspect the signs of the numerator and denominator on each side of the critical input.

Limits at infinity

A at infinity describes end behavior:

lim⁡x→∞f(x)=L\lim_{x\to\infty}f(x)=L

means that the function approaches LL as xx increases without bound. The analogous notation with x→−∞x\to-\infty describes behavior as xx decreases without bound. If either equals LL, then y=Ly=L is a .

For a rational function f(x)=p(x)/q(x)f(x)=p(x)/q(x):

  • If the degree of pp is less than the degree of qq, the is y=0y=0.

  • If the degrees are equal, the is the ratio of the leading coefficients.

  • If the degree of pp is greater, this comparison does not produce a ; polynomial or oblique behavior may occur.

For example,

lim⁡x→∞3x2−1x2+4=3,\lim_{x\to\infty}\frac{3x^2-1}{x^2+4}=3,

so y=3y=3 is a . Also,

lim⁡x→±∞2x+1x2+5=0,\lim_{x\to\pm\infty}\frac{2x+1}{x^2+5}=0,

so y=0y=0 is a . A graph may cross a ; the line describes end behavior rather than a forbidden intersection.

Takeaway: Infinite limits describe unbounded local behavior, while limits at infinity describe long-run behavior.

A Practical Workflow for Finding Limits

A reliable procedure helps organize problems.

Decision process

  1. Try direct substitution.

  2. If the result is a defined finite expression, use it.

  3. If the result is 0/00/0, factor, cancel, rationalize, or combine fractions.

  4. If the function is piecewise or discontinuous, calculate the left-hand and right-hand limits separately.

  5. If the denominator approaches zero while the numerator does not, analyze signs on both sides to determine possible infinite limits.

  6. If the input approaches ∞\infty or −∞-\infty, compare dominant terms, especially the highest powers in a rational function.

  7. Interpret the result graphically: a hole indicates a removable discontinuity, unequal one-sided limits indicate a jump, and infinite behavior indicates a .

Connections across methods

Tables and graphs are useful for estimating behavior and forming a conjecture. Algebraic simplification can establish exact values for many expressions. One-sided analysis handles directional behavior, while the supplies the foundational standard for a rigorous finite . The same concept therefore connects numerical, graphical, algebraic, and formal reasoning.

Final checklist: Ask what the input approaches, test direct substitution, identify any , choose an appropriate simplification or comparison, check both sides when necessary, and interpret the result in terms of the graph.