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 = c$; it asks what values $f(x)$ approaches as $x$ gets arbitrarily close to $c$.


1. The Fundamental Concept of a Limit

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

limxcf(x)=L\lim_{x \to c} f(x) = L

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

Why $x \neq c$ Is the Crucial Distinction

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

  1. $f(x) = \frac{x^2 - 1}{x - 1}$: At $x = 1$, $f(1) = \frac{0}{0}$ (undefined). However, for all $x \neq 1$, $f(x) = \frac{(x-1)(x+1)}{x-1} = x + 1$. As $x \to 1$, $f(x) \to 2$. Therefore, $\lim_{x \to 1} f(x) = 2$.
  2. $g(x) = x + 1$: Here, $g(1) = 2$ and $\lim_{x \to 1} g(x) = 2$. The limit matches the function value.
  3. $h(x) = \begin{cases} x + 1 & \text{if } x \neq 1 \ 5 & \text{if } x = 1 \end{cases}$: Here, $h(1) = 5$, yet $\lim_{x \to 1} h(x) = 2$.
Function$f(1)$ Defined?Value of $f(1)$$\lim_{x \to 1} f(x)$Graph Appearance at $x = 1$
$f(x) = \frac{x^2 - 1}{x - 1}$NoUndefined$2$Continuous line with open hole at $(1, 2)$
$g(x) = x + 1$Yes$2$$2$Solid, continuous line passing through $(1, 2)$
$h(x)$ (Piecewise)Yes$5$$2$Open hole at $(1, 2)$ with isolated dot at $(1, 5)$

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


2. One-Sided Limits and the Limit Existence Theorem

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

  • Left-Hand Limit (LHL): $\lim_{x \to c^-} f(x) = L_1$ describes the behavior of $f(x)$ as $x$ approaches $c$ through values strictly less than $c$ ($x < c$).
  • Right-Hand Limit (RHL): $\lim_{x \to c^+} f(x) = L_2$ describes the behavior of $f(x)$ as $x$ approaches $c$ through values strictly greater than $c$ ($x > c$).

The Two-Sided Limit Existence Theorem

limxcf(x)=L    limxcf(x)=Landlimxc+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 \to c^-} f(x)$ must exist and equal a finite real number $L_1$.
  2. The right-hand limit $\lim_{x \to c^+} f(x)$ must exist and equal a finite real number $L_2$.
  3. $L_1$ must equal $L_2$.

If $L_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 ($L_1 \neq L_2$): Common in piecewise and absolute value functions. For example, consider the signum function $f(x) = \frac{|x|}{x}$: limx0xx=limx0xx=1,limx0+xx=limx0+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 \neq 1$, $\lim_{x \to 0} \frac{|x|}{x}$ Does Not Exist.
  2. Unbounded / Infinite Behavior: The function approaches $\pm\infty$ as $x \to c$. For $f(x) = \frac{1}{x-2}$, as $x \to 2^+$, $f(x) \to +\infty$, and as $x \to 2^-$, $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 \to c$. For $f(x) = \sin(1/x)$, as $x \to 0$, $1/x$ approaches $\pm\infty$, causing $\sin(1/x)$ to cycle infinitely between $-1$ and $+1$ in every neighborhood of $0$. It never settles on a single value, so the limit DNE.

3. The Master Catalog of Algebraic Limit Laws

Suppose that $c$ and $k$ are real constants, and the component limits $\lim_{x \to c} f(x) = L$ and $\lim_{x \to c} g(x) = M$ exist as finite real numbers. The following properties hold:

1. Sum and Difference Laws

limxc[f(x)±g(x)]=limxcf(x)±limxcg(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

limxc[kf(x)]=klimxcf(x)=kL\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

limxc[f(x)g(x)]=(limxcf(x))(limxcg(x))=LM\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

limxc[f(x)g(x)]=limxcf(x)limxcg(x)=LM,provided M0\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

limxc[f(x)]n=Ln(nZ+)\lim_{x \to c} [f(x)]^n = L^n \quad (n \in \mathbb{Z}^+) limxcf(x)n=Ln(nZ+, 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)$ is a polynomial or rational function and $c$ lies in the algebraic domain of $P$, then:

limxcP(x)=P(c)\lim_{x \to c} P(x) = P(c)

For polynomials, this holds for all real numbers $c \in \mathbb{R}$. For rational functions, it holds for all $c$ 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)$, $f(x)$, and $h(x)$ be functions satisfying: g(x)f(x)h(x)g(x) \le f(x) \le h(x) for all $x$ in an open interval containing $c$, except possibly at $c$ itself. If: limxcg(x)=Landlimxch(x)=L\lim_{x \to c} g(x) = L \quad \text{and} \quad \lim_{x \to c} h(x) = L then: limxcf(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 \to 0} x^2 \sin\left(\frac{1}{x}\right)$.

Step 1: Analyze why direct substitution fails. As $x \to 0$, $1/x \to \pm\infty$. The term $\sin(1/x)$ oscillates perpetually between $-1$ and $1$ without approaching any single value. We cannot apply the Product Law because $\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]$ for any real input. Therefore, for all $x \neq 0$: 1sin(1x)1-1 \le \sin\left(\frac{1}{x}\right) \le 1

Step 3: Build the target inequality. Multiply the entire compound inequality by $x^2$. Since $x^2 > 0$ for all $x \neq 0$, the inequality signs do not reverse: x2x2sin(1x)x2-x^2 \le x^2 \sin\left(\frac{1}{x}\right) \le x^2

Step 4: Evaluate the outer limits. limx0(x2)=(0)2=0\lim_{x \to 0} (-x^2) = -(0)^2 = 0 limx0(x2)=(0)2=0\lim_{x \to 0} (x^2) = (0)^2 = 0

Step 5: Invoke the Squeeze Theorem. Since $x^2 \sin(1/x)$ is trapped between $-x^2$ and $x^2$, and both bounding functions approach $0$ as $x \to 0$, the Squeeze Theorem guarantees: limx0x2sin(1x)=0\lim_{x \to 0} x^2 \sin\left(\frac{1}{x}\right) = 0

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

In $x^2 \sin(1/x)$, the $x^2$ factor acts as a "dampening envelope." While $\sin(1/x)$ oscillates with a fixed amplitude of $1$, multiplying by $x^2$ forces the amplitude to shrink to zero as $x \to 0$. By contrast, $\sin(1/x)$ has no dampening factor, causing it to bounce continuously between $-1$ and $+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)$ when one or both limits do not exist. For instance, if $f(x) = \frac{1}{x}$ and $g(x) = -\frac{1}{x}$, the sum is $f(x) + g(x) = 0$, so $\lim_{x \to 0} [f(x) + g(x)] = 0$. Distributing would lead to the meaningless nonsense "$\infty - \infty$".
  2. Confusing Undefined ($k/0$) with Indeterminate ($0/0$): If direct substitution yields $\frac{5}{0}$, the limit is unbounded (vertical asymptote, $\pm\infty$ or DNE). If substitution yields $\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 \to 0^-} \sqrt{x}$, the limit does not exist in the real number system because the domain of $\sqrt{x}$ is $[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
B
C
D
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
B
C
D
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
B
C
D
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
B
C
D