2.1 Limit Concepts and Limit Laws

Key Takeaways

  • A limit describes the value a function approaches as x gets arbitrarily close to a target number c, completely independent of whether f(c) is defined or equal to the limiting value.

  • The Two-Sided Limit Existence Theorem establishes that lim_{x -> c} f(x) = L if and only if both one-sided limits exist and are equal: lim_{x -> c^-} f(x) = lim_{x -> c^+} f(x) = L.

  • Algebraic Limit Laws (Sum, Difference, Constant Multiple, Product, Quotient, Power, and Root) allow breaking complex expressions into elementary limits, provided each component limit exists as a finite real number.

  • The Direct Substitution Property applies to all polynomials, rational functions, trigonometric, exponential, and logarithmic functions on their open domains of definition.

  • The Squeeze (Sandwich) Theorem proves limits for bounded oscillating functions such as lim_{x -> 0} x^2 sin(1/x) = 0 by bounding the target expression between two converging functions.

Last updated: August 2026

2.1 Limit Concepts and Limit Laws

Core CLEP Concept: Limits form the foundational bedrock upon which all differential and integral calculus is built. On the CLEP Calculus exam, understanding how a function behaves near a point—rather than strictly at that point—is tested both conceptually and algebraically. A limit does not ask what a function equals at x=cx = c; it asks what values f(x)f(x) approaches as xx gets arbitrarily close to cc.


1. The Fundamental Concept of a Limit

In algebra, we evaluate functions by direct computation: given f(x)=2x+1f(x) = 2x + 1, we find f(3)=2(3)+1=7f(3) = 2(3) + 1 = 7. In calculus, we investigate local behavior in the deleted neighborhood of a point. When we write:

lim⁡x→cf(x)=L\lim_{x \to c} f(x) = L

we mean that as xx approaches cc from either side of cc (with x≠cx \neq c), the output values f(x)f(x) get arbitrarily close to the single real number LL.

Why x≠cx \neq c Is the Crucial Distinction

The formal definition of a limit explicitly ignores what happens precisely at x=cx = c. The function f(c)f(c) might be equal to LL, it might be equal to an entirely different number, or it might be completely undefined. Consider three distinct functions:

  1. f(x)=x2−1x−1f(x) = \frac{x^2 - 1}{x - 1}: At x=1x = 1, f(1)=00f(1) = \frac{0}{0} (undefined). However, for all x≠1x \neq 1, f(x)=(x−1)(x+1)x−1=x+1f(x) = \frac{(x-1)(x+1)}{x-1} = x + 1. As x→1x \to 1, f(x)→2f(x) \to 2. Therefore, lim⁡x→1f(x)=2\lim_{x \to 1} f(x) = 2.
  2. g(x)=x+1g(x) = x + 1: Here, g(1)=2g(1) = 2 and lim⁡x→1g(x)=2\lim_{x \to 1} g(x) = 2. The limit matches the function value.
  3. h(x)={x+1if x≠15if x=1h(x) = \begin{cases} x + 1 & \text{if } x \neq 1 \\ 5 & \text{if } x = 1 \end{cases}: Here, h(1)=5h(1) = 5, yet lim⁡x→1h(x)=2\lim_{x \to 1} h(x) = 2.
Functionf(1)f(1) Defined?Value of f(1)f(1)lim⁡x→1f(x)\lim_{x \to 1} f(x)Graph Appearance at x=1x = 1
f(x)=x2−1x−1f(x) = \frac{x^2 - 1}{x - 1}NoUndefined22Continuous line with open hole at (1,2)(1, 2)
g(x)=x+1g(x) = x + 1Yes2222Solid, continuous line passing through (1,2)(1, 2)
h(x)h(x) (Piecewise)Yes5522Open hole at (1,2)(1, 2) with isolated dot at (1,5)(1, 5)

All three functions possess the exact same limit as x→1x \to 1 because the limit depends solely on the values of the function on the interval (1−δ,1)∪(1,1+δ)(1 - \delta, 1) \cup (1, 1 + \delta) surrounding 11, never at x=1x = 1 itself.


2. One-Sided Limits and the Limit Existence Theorem

A two-sided limit requires consistent behavior from both directions. When approaching cc from only one side, we define one-sided limits:

  • Left-Hand Limit (LHL): lim⁡x→c−f(x)=L1\lim_{x \to c^-} f(x) = L_1 describes the behavior of f(x)f(x) as xx approaches cc through values strictly less than cc (x<cx < c).
  • Right-Hand Limit (RHL): lim⁡x→c+f(x)=L2\lim_{x \to c^+} f(x) = L_2 describes the behavior of f(x)f(x) as xx approaches cc through values strictly greater than cc (x>cx > c).

The Two-Sided Limit Existence Theorem

lim⁡x→cf(x)=L  ⟺  lim⁡x→c−f(x)=Landlim⁡x→c+f(x)=L\lim_{x \to c} f(x) = L \iff \lim_{x \to c^-} f(x) = L \quad \text{and} \quad \lim_{x \to c^+} f(x) = L

For a two-sided limit to exist, three conditions must be met:

  1. The left-hand limit lim⁡x→c−f(x)\lim_{x \to c^-} f(x) must exist and equal a finite real number L1L_1.
  2. The right-hand limit lim⁡x→c+f(x)\lim_{x \to c^+} f(x) must exist and equal a finite real number L2L_2.
  3. L1L_1 must equal L2L_2.

If L1≠L2L_1 \neq L_2, we state that the two-sided limit Does Not Exist (DNE).

Why Limits Fail to Exist (DNE)

On the CLEP exam, limits typically fail to exist for one of three structural reasons:

  1. Jump Discontinuity (L1≠L2L_1 \neq L_2): Common in piecewise and absolute value functions. For example, consider the signum function f(x)=∣x∣xf(x) = \frac{|x|}{x}: lim⁡x→0−∣x∣x=lim⁡x→0−−xx=−1,lim⁡x→0+∣x∣x=lim⁡x→0+xx=1\lim_{x \to 0^-} \frac{|x|}{x} = \lim_{x \to 0^-} \frac{-x}{x} = -1, \quad \lim_{x \to 0^+} \frac{|x|}{x} = \lim_{x \to 0^+} \frac{x}{x} = 1 Since −1≠1-1 \neq 1, lim⁡x→0∣x∣x\lim_{x \to 0} \frac{|x|}{x} Does Not Exist.
  2. Unbounded / Infinite Behavior: The function approaches ±∞\pm\infty as x→cx \to c. For f(x)=1x−2f(x) = \frac{1}{x-2}, as x→2+x \to 2^+, f(x)→+∞f(x) \to +\infty, and as x→2−x \to 2^-, f(x)→−∞f(x) \to -\infty. Since infinity is not a real number, the finite limit DNE.
  3. Infinite Oscillation: The function oscillates infinitely often between fixed bounds as x→cx \to c. For f(x)=sin⁡(1/x)f(x) = \sin(1/x), as x→0x \to 0, 1/x1/x approaches ±∞\pm\infty, causing sin⁡(1/x)\sin(1/x) to cycle infinitely between −1-1 and +1+1 in every neighborhood of 00. It never settles on a single value, so the limit DNE.

3. The Master Catalog of Algebraic Limit Laws

Suppose that cc and kk are real constants, and the component limits lim⁡x→cf(x)=L\lim_{x \to c} f(x) = L and lim⁡x→cg(x)=M\lim_{x \to c} g(x) = M exist as finite real numbers. The following properties hold:

1. Sum and Difference Laws

lim⁡x→c[f(x)±g(x)]=lim⁡x→cf(x)±lim⁡x→cg(x)=L±M\lim_{x \to c} [f(x) \pm g(x)] = \lim_{x \to c} f(x) \pm \lim_{x \to c} g(x) = L \pm M

The limit of a sum (or difference) is the sum (or difference) of the limits.

2. Constant Multiple Law

lim⁡x→c[k⋅f(x)]=k⋅lim⁡x→cf(x)=k⋅L\lim_{x \to c} [k \cdot f(x)] = k \cdot \lim_{x \to c} f(x) = k \cdot L

Constants factor out of limit operations.

3. Product Law

lim⁡x→c[f(x)⋅g(x)]=(lim⁡x→cf(x))⋅(lim⁡x→cg(x))=L⋅M\lim_{x \to c} [f(x) \cdot g(x)] = \left( \lim_{x \to c} f(x) \right) \cdot \left( \lim_{x \to c} g(x) \right) = L \cdot M

The limit of a product is the product of the limits.

4. Quotient Law

lim⁡x→c[f(x)g(x)]=lim⁡x→cf(x)lim⁡x→cg(x)=LM,provided M≠0\lim_{x \to c} \left[ \frac{f(x)}{g(x)} \right] = \frac{\lim_{x \to c} f(x)}{\lim_{x \to c} g(x)} = \frac{L}{M}, \quad \text{provided } M \neq 0

The limit of a quotient is the quotient of the limits, provided the denominator limit does not equal zero.

5. Power and Root Laws

lim⁡x→c[f(x)]n=Ln(n∈Z+)\lim_{x \to c} [f(x)]^n = L^n \quad (n \in \mathbb{Z}^+) lim⁡x→cf(x)n=Ln(n∈Z+, where L>0 if n is even)\lim_{x \to c} \sqrt[n]{f(x)} = \sqrt[n]{L} \quad (n \in \mathbb{Z}^+, \text{ where } L > 0 \text{ if } n \text{ is even})

Direct Substitution Property

If P(x)P(x) is a polynomial or rational function and cc lies in the algebraic domain of PP, then:

lim⁡x→cP(x)=P(c)\lim_{x \to c} P(x) = P(c)

For polynomials, this holds for all real numbers c∈Rc \in \mathbb{R}. For rational functions, it holds for all cc where the denominator is non-zero.


4. The Squeeze (Sandwich) Theorem

The Squeeze Theorem is a powerful analytical tool used to calculate limits of expressions that cannot be simplified through direct algebra, particularly those involving trigonometric oscillation.

Formal Statement

The Squeeze Theorem: Let g(x)g(x), f(x)f(x), and h(x)h(x) be functions satisfying: g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) for all xx in an open interval containing cc, except possibly at cc itself. If: lim⁡x→cg(x)=Landlim⁡x→ch(x)=L\lim_{x \to c} g(x) = L \quad \text{and} \quad \lim_{x \to c} h(x) = L then: lim⁡x→cf(x)=L\lim_{x \to c} f(x) = L

   y
   ^
   |        h(x) (Upper Bound)
   |       /   \       /
   |      /     \_____/     -> Converges to L at x = c
 L +-----+------*-*---------*
   |      \     /^^^^^\     -> f(x) squeezed in the middle!
   |       \___/       \
   |        g(x) (Lower Bound)
   +------------+------------> x
                c

Rigorous Worked Example: Oscillating Product

Problem: Evaluate lim⁡x→0x2sin⁡(1x)\lim_{x \to 0} x^2 \sin\left(\frac{1}{x}\right).

Step 1: Analyze why direct substitution fails. As x→0x \to 0, 1/x→±∞1/x \to \pm\infty. The term sin⁡(1/x)\sin(1/x) oscillates perpetually between −1-1 and 11 without approaching any single value. We cannot apply the Product Law because lim⁡x→0sin⁡(1/x)\lim_{x \to 0} \sin(1/x) does not exist.

Step 2: Establish universal bounds. The range of the standard sine function is [−1,1][-1, 1] for any real input. Therefore, for all x≠0x \neq 0:

−1≤sin⁡(1x)≤1-1 \le \sin\left(\frac{1}{x}\right) \le 1

Step 3: Build the target inequality. Multiply the entire compound inequality by x2x^2. Since x2>0x^2 > 0 for all x≠0x \neq 0, the inequality signs do not reverse:

−x2≤x2sin⁡(1x)≤x2-x^2 \le x^2 \sin\left(\frac{1}{x}\right) \le x^2

Step 4: Evaluate the outer limits.

lim⁡x→0(−x2)=−(0)2=0\lim_{x \to 0} (-x^2) = -(0)^2 = 0 lim⁡x→0(x2)=(0)2=0\lim_{x \to 0} (x^2) = (0)^2 = 0

Step 5: Invoke the Squeeze Theorem. Since x2sin⁡(1/x)x^2 \sin(1/x) is trapped between −x2-x^2 and x2x^2, and both bounding functions approach 00 as x→0x \to 0, the Squeeze Theorem guarantees:

lim⁡x→0x2sin⁡(1x)=0\lim_{x \to 0} x^2 \sin\left(\frac{1}{x}\right) = 0

Why x2sin⁡(1/x)x^2 \sin(1/x) Converges but sin⁡(1/x)\sin(1/x) Diverges

In x2sin⁡(1/x)x^2 \sin(1/x), the x2x^2 factor acts as a "dampening envelope." While sin⁡(1/x)\sin(1/x) oscillates with a fixed amplitude of 11, multiplying by x2x^2 forces the amplitude to shrink to zero as x→0x \to 0. By contrast, sin⁡(1/x)\sin(1/x) has no dampening factor, causing it to bounce continuously between −1-1 and +1+1.


5. Common CLEP Traps & Fallacies

  1. Distributing Limits When Component Limits Diverge: A common exam fallacy is writing lim⁡[f(x)+g(x)]=lim⁡f(x)+lim⁡g(x)\lim [f(x) + g(x)] = \lim f(x) + \lim g(x) when one or both limits do not exist. For instance, if f(x)=1xf(x) = \frac{1}{x} and g(x)=−1xg(x) = -\frac{1}{x}, the sum is f(x)+g(x)=0f(x) + g(x) = 0, so lim⁡x→0[f(x)+g(x)]=0\lim_{x \to 0} [f(x) + g(x)] = 0. Distributing would lead to the meaningless nonsense "∞−∞\infty - \infty".
  2. Confusing Undefined (k/0k/0) with Indeterminate (0/00/0): If direct substitution yields 50\frac{5}{0}, the limit is unbounded (vertical asymptote, ±∞\pm\infty or DNE). If substitution yields 00\frac{0}{0}, the limit is indeterminate and requires algebraic simplification (factoring, conjugates, or trig identities).
  3. Ignoring Direction in One-Sided Roots: When taking lim⁡x→0−x\lim_{x \to 0^-} \sqrt{x}, the limit does not exist in the real number system because the domain of x\sqrt{x} is [0,∞)[0, \infty). Always confirm that the approach path lies within the function's domain.
Loading diagram...
Limit Evaluation Decision Logic
Test Your Knowledge

Given the piecewise function f(x) = { 3x - 1 for x < 2; 7 for x = 2; x^2 + 1 for x > 2 }, what is the value of lim_{x -> 2} f(x)?

A

5

B

7

C

Does not exist

D

1

Test Your Knowledge

Suppose lim_{x -> 3} f(x) = 4 and lim_{x -> 3} g(x) = -2. Applying the algebraic limit laws, what is lim_{x -> 3} ([f(x)]^2 - 3g(x)) / (sqrt(f(x)) + g(x) + 4)?

A

22/3

B

11/2

C

7

D

Does not exist

Test Your Knowledge

If 1 - (x^2 / 6) <= u(x) <= 1 + (x^2 / 4) for all x in (-1, 1) with x != 0, which conclusion is guaranteed by the Squeeze Theorem?

A

u(0) = 1

B

lim_{x -> 0} u(x) does not exist because u(0) is undefined

C

lim_{x -> 0} u(x) = 1

D

u(x) is differentiable at x = 0

Test Your Knowledge

A student attempts to evaluate lim_{x -> 1} (1 / (x - 1) - 1 / |x - 1|) by writing lim_{x -> 1} 1/(x - 1) - lim_{x -> 1} 1/|x - 1| and concludes the result is 0. Why is this reasoning mathematically invalid?

A

Absolute value functions cannot be analyzed using calculus limits

B

Direct substitution immediately yields 0 without needing limits

C

The student forgot to multiply by the radical conjugate

D

Algebraic limit laws require each individual component limit to exist as a finite real number; here both component limits diverge

Sections you finish are checked off in the contents.