Skip to content

Unit 1: Limits and Continuity

AP Calc cheatsheet

Open β†—

Loading…

Definition. A limit is defined as

lim⁑xβ†’af(x)=L\lim_{x \to a} f(x) = L

if we can make f(x)f(x) as close to LL as we want by taking xx sufficiently close to aa, with x≠ax \ne a.

This is about nearby behavior, not direct substitution. It is possible for:

  • the limit to exist while f(a)f(a) is undefined,
  • the limit to exist while f(a)β‰ Lf(a) \ne L,
  • the limit to fail even though f(a)f(a) exists.

A quick check is direct substitution. If substituting x=ax = a gives a finite number and the expression is defined there, the limit is usually that number.

Example. Evaluate lim⁑xβ†’2(3x2βˆ’1).\displaystyle\lim_{x\to 2}\bigl(3x^2-1\bigr).

This function is a polynomial, and doesn’t have any weird jumps or other features. Thus,

3(2)2βˆ’1=11.3(2)^2-1 = 11.

So the limit is 1111.

A one-sided limit describes the value approached from one direction only.

  • Left-hand limit: lim⁑xβ†’aβˆ’f(x)\lim_{x \to a^-} f(x)
  • Right-hand limit: lim⁑xβ†’a+f(x)\lim_{x \to a^+} f(x)

A two-sided limit exists exactly when both one-sided limits exist and agree:

lim⁑xβ†’aβˆ’f(x)=lim⁑xβ†’a+f(x)=L.\lim_{x \to a^-} f(x) = \lim_{x \to a^+} f(x) = L.

If the left-hand and right-hand limits disagree, then the two-sided limit does not exist.

Example. Evaluate lim⁑xβ†’2f(x)\displaystyle\lim_{x\to2} f(x) for

f(x)={x+1,x<2,5,x=2,3xβˆ’3,x>2.f(x)= \begin{cases} x+1, & x<2,\\ 5, & x=2,\\ 3x-3, & x>2. \end{cases}

The left-hand limit uses the branch x+1x+1:

lim⁑xβ†’2βˆ’f(x)=2+1=3.\lim_{x\to2^-}f(x)=2+1=3.

The right-hand limit uses the branch 3xβˆ’33x-3:

lim⁑xβ†’2+f(x)=3(2)βˆ’3=3.\lim_{x\to2^+}f(x)=3(2)-3=3.

Since the one-sided limits agree,

lim⁑xβ†’2f(x)=3.\lim_{x\to2}f(x)=3.

Notice that f(2)=5f(2)=5, but that does not change the limit. The limit depends on nearby values, not the value directly at x=2x=2.

Example. The graph of ff is shown below. Evaluate lim⁑xβ†’0f(1βˆ’x2).\lim_{x\to0} f(1-x^2).

Β‘3Β‘2Β‘1123123456xy

As x→0x\to0, the inside expression satisfies

1βˆ’x2β†’1.1-x^2\to1.

However, 1βˆ’x21-x^2 is always less than or equal to 11 near x=0x=0. For xβ‰ 0x\ne0, it approaches 11 from the left:

1βˆ’x2β†’1βˆ’.1-x^2\to1^-.

So the limit depends on the left-hand behavior of ff at x=1x=1. From the graph,

lim⁑uβ†’1βˆ’f(u)=3.\lim_{u\to1^-} f(u)=3.

Therefore,

lim⁑xβ†’0f(1βˆ’x2)=3.\lim_{x\to0} f(1-x^2)=3.

When you do not have a formula or graph, use a table to estimate what the outputs approach from each side.

A table does not prove a limit by itself, but it gives strong evidence. It is especially useful for reading calculator-generated data, numerical models, or functions that are hard to simplify by hand.

When using a table, check two things:

  • values of xx slightly less than aa,
  • values of xx slightly greater than aa.

If the outputs approach the same number from both sides, the two-sided limit likely equals that number. If the outputs approach different numbers, the two-sided limit does not exist.

Example. Use the table to estimate lim⁑xβ†’2f(x)\displaystyle\lim_{x\to2}f(x).

x1.91.991.9992.0012.012.1f(x)4.714.97014.9970015.0030015.03015.31\begin{array}{c|cccccc} x & 1.9 & 1.99 & 1.999 & 2.001 & 2.01 & 2.1 \\\hline f(x) & 4.71 & 4.9701 & 4.997001 & 5.003001 & 5.0301 & 5.31 \end{array}

From the left, the function values approach 55:

lim⁑xβ†’2βˆ’f(x)=5.\lim_{x\to2^-}f(x)=5.

From the right, the function values also approach 55:

lim⁑xβ†’2+f(x)=5.\lim_{x\to2^+}f(x)=5.

Since the one-sided limits agree,

lim⁑xβ†’2f(x)=5.\lim_{x\to2}f(x)=5.

Example. Use the table to estimate lim⁑xβ†’0g(x)\displaystyle\lim_{x\to0}g(x).

xβˆ’0.1βˆ’0.01βˆ’0.0010.0010.010.1g(x)βˆ’1.9βˆ’1.99βˆ’1.9992.0012.012.1\begin{array}{c|cccccc} x & -0.1 & -0.01 & -0.001 & 0.001 & 0.01 & 0.1 \\\hline g(x) & -1.9 & -1.99 & -1.999 & 2.001 & 2.01 & 2.1 \end{array}

From the left, the outputs approach βˆ’2-2:

lim⁑xβ†’0βˆ’g(x)=βˆ’2.\lim_{x\to0^-}g(x)=-2.

From the right, the outputs approach 22:

lim⁑xβ†’0+g(x)=2.\lim_{x\to0^+}g(x)=2.

Since the one-sided limits do not agree,

lim⁑xβ†’0g(x)\lim_{x\to0}g(x)

does not exist.


If lim⁑xβ†’af(x)=L\lim_{x \to a} f(x) = L and lim⁑xβ†’ag(x)=M\lim_{x \to a} g(x) = M, then:

lim⁑xβ†’a(f(x)Β±g(x))=LΒ±M,\lim_{x \to a} (f(x) \pm g(x)) = L \pm M, lim⁑xβ†’a(f(x)g(x))=LM,\lim_{x \to a} (f(x)g(x)) = LM, lim⁑xβ†’af(x)g(x)=LM,Mβ‰ 0,\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{L}{M}, \qquad M \ne 0, lim⁑xβ†’a[f(x)]n=Ln.\lim_{x \to a} [f(x)]^n = L^n.

For polynomials and rational functions, direct substitution works whenever the denominator is nonzero. If substitution gives a finite number, the limit is usually that number.

Proof (Limit Laws). A limit statement means the function values can be forced arbitrarily close to a target value. If f(x)f(x) is close to LL and g(x)g(x) is close to MM, then their sum is close to L+ML + M, their product is close to LMLM, and their quotient is close to L/ML/M as long as M≠0M \ne 0.

A key idea is that the limit might not be exactly at the input value, but the function values can get arbitrarily close to the target. In AP Calculus, we often think of the small error as Ξ΅\varepsilon, which becomes negligible when the limit exists.

Example. Suppose lim⁑xβ†’2f(x)=3\lim_{x\to 2}f(x)=3 and lim⁑xβ†’2g(x)=βˆ’1\lim_{x\to 2}g(x)=-1. Find

lim⁑xβ†’22f(x)βˆ’g(x)[f(x)]2.\lim_{x\to2}\frac{2f(x)-g(x)}{[f(x)]^2}.

Using limit laws, substitute the known limits:

2β‹…3βˆ’(βˆ’1)32=79.\frac{2\cdot 3-(-1)}{3^2} = \frac{7}{9}.

Therefore the limit equals 79\frac{7}{9}.

Example. Suppose

lim⁑xβ†’1f(x)=4,lim⁑xβ†’1g(x)=0,lim⁑xβ†’1h(x)=βˆ’2.\lim_{x\to1}f(x)=4, \qquad \lim_{x\to1}g(x)=0, \qquad \lim_{x\to1}h(x)=-2.

Find

lim⁑xβ†’1f(x)+5βˆ’3h(x)f(x)βˆ’h(x)g(x)+1.\lim_{x\to1}\frac{\sqrt{f(x)+5}-3h(x)}{f(x)-h(x)g(x)+1}.

Use the limit laws inside the expression:

f(x)+5β†’4+5=3,\sqrt{f(x)+5}\to\sqrt{4+5}=3, 3h(x)β†’3(βˆ’2)=βˆ’6,3h(x)\to3(-2)=-6,

and

f(x)βˆ’h(x)g(x)+1β†’4βˆ’(βˆ’2)(0)+1=5.f(x)-h(x)g(x)+1\to4-(-2)(0)+1=5.

Therefore

lim⁑xβ†’1f(x)+5βˆ’3h(x)f(x)βˆ’h(x)g(x)+1=3βˆ’(βˆ’6)5=95.\lim_{x\to1}\frac{\sqrt{f(x)+5}-3h(x)}{f(x)-h(x)g(x)+1} = \frac{3-(-6)}{5} = \frac95.

Direct substitution sometimes gives an indeterminate form, so substitution alone does not determine the limit. You need to simplify the expression or use another limit technique. Common indeterminate forms include: 0/00/0, ∞/∞\infty/\infty, 0β‹…βˆž0 \cdot \infty, βˆžβˆ’βˆž\infty - \infty, 1∞1^\infty, 000^0, and ∞0\infty^0.

Start by checking whether direct substitution works. If it gives an indeterminate form, choose a method that fits the expression.

Factoring is useful when direct substitution gives 0/00/0 and the numerator and denominator share a hidden factor. After canceling, the simplified expression agrees with the original expression for nearby values of xx, even if the original expression is undefined at the exact input.

Example. Evaluate

lim⁑xβ†’2x3βˆ’6x2+11xβˆ’6xβˆ’2.\lim_{x\to2}\frac{x^3-6x^2+11x-6}{x-2}.

Direct substitution gives 0/00/0, so the numerator must have a factor of xβˆ’2x-2. Since the cubic is not immediately obvious to factor by grouping, use synthetic division with 22:

21βˆ’611βˆ’62βˆ’861βˆ’430\begin{array}{r|rrrr} 2 & 1 & -6 & 11 & -6 \\ & & 2 & -8 & 6 \\\hline & 1 & -4 & 3 & 0 \end{array}

So

x3βˆ’6x2+11xβˆ’6=(xβˆ’2)(x2βˆ’4x+3).x^3-6x^2+11x-6=(x-2)(x^2-4x+3).

Cancel the removable factor:

lim⁑xβ†’2x3βˆ’6x2+11xβˆ’6xβˆ’2=lim⁑xβ†’2(xβˆ’2)(x2βˆ’4x+3)xβˆ’2.\lim_{x\to2}\frac{x^3-6x^2+11x-6}{x-2} = \lim_{x\to2}\frac{(x-2)(x^2-4x+3)}{x-2}.

For x≠2x\ne2, this simplifies to

lim⁑xβ†’2(x2βˆ’4x+3).\lim_{x\to2}(x^2-4x+3).

Now substitute:

22βˆ’4(2)+3=βˆ’1.2^2-4(2)+3 = -1.

So the limit is βˆ’1-1. The original function has a removable discontinuity at x=2x=2, but the nearby behavior is controlled by the quotient polynomial.

When radicals create 0/00/0, multiply by the conjugate. The conjugate changes a radical difference into a difference of squares, which often reveals a canceling factor.

Example. Evaluate lim⁑xβ†’0x+1βˆ’1x.\displaystyle\lim_{x\to0}\frac{\sqrt{x+1}-1}{x}.

Multiply by the conjugate to remove the radical from the numerator:

lim⁑xβ†’0x+1βˆ’1x=lim⁑xβ†’0(x+1βˆ’1)(x+1+1)x(x+1+1).\lim_{x\to0}\frac{\sqrt{x+1}-1}{x} = \lim_{x\to0}\frac{(\sqrt{x+1}-1)(\sqrt{x+1}+1)}{x(\sqrt{x+1}+1)}.

The numerator becomes a difference of squares:

(x+1βˆ’1)(x+1+1)=(x+1)βˆ’1=x.(\sqrt{x+1}-1)(\sqrt{x+1}+1) =(x+1)-1=x.

So, for x≠0x\ne0,

lim⁑xβ†’0x+1βˆ’1x=lim⁑xβ†’0xx(x+1+1)=lim⁑xβ†’01x+1+1.\lim_{x\to0}\frac{\sqrt{x+1}-1}{x} = \lim_{x\to0}\frac{x}{x(\sqrt{x+1}+1)} = \lim_{x\to0}\frac{1}{\sqrt{x+1}+1}.

Now evaluate the simplified limit:

lim⁑xβ†’01x+1+1=12.\lim_{x\to0}\frac{1}{\sqrt{x+1}+1}=\frac{1}{2}.

For roots at infinity, another useful move is to factor the largest power out from inside the radical. The square root of a square produces an absolute value:

x6=∣x3∣.\sqrt{x^6}= \lvert x^3\rvert.

The sign of that absolute value depends on whether xβ†’βˆžx\to\infty or xβ†’βˆ’βˆžx\to-\infty. This matters because end-behavior limits are sensitive to direction.

Example. Evaluate

lim⁑xβ†’βˆž(x6+5x3βˆ’x3).\lim_{x\to\infty}\left(\sqrt{x^6+5x^3}-x^3\right).

Direct substitution gives the indeterminate form βˆžβˆ’βˆž\infty-\infty. Factor x6x^6 out of the radical:

lim⁑xβ†’βˆž(x6+5x3βˆ’x3)=lim⁑xβ†’βˆž(x6(1+5x3)βˆ’x3).\lim_{x\to\infty}\left(\sqrt{x^6+5x^3}-x^3\right) = \lim_{x\to\infty}\left(\sqrt{x^6\left(1+\frac{5}{x^3}\right)}-x^3\right).

Since xβ†’βˆžx\to\infty, ∣x3∣=x3\lvert x^3\rvert=x^3, so

lim⁑xβ†’βˆž(x6(1+5x3)βˆ’x3)=lim⁑xβ†’βˆž(x31+5x3βˆ’x3).\lim_{x\to\infty}\left(\sqrt{x^6\left(1+\frac{5}{x^3}\right)}-x^3\right) = \lim_{x\to\infty}\left(x^3\sqrt{1+\frac{5}{x^3}}-x^3\right).

Factor out x3x^3:

lim⁑xβ†’βˆžx3(1+5x3βˆ’1).\lim_{x\to\infty}x^3\left(\sqrt{1+\frac{5}{x^3}}-1\right).

This is still not easy to evaluate directly, so rationalize:

lim⁑xβ†’βˆžx3(1+5x3βˆ’1)=lim⁑xβ†’βˆžx3((1+5x3)βˆ’11+5x3+1).\lim_{x\to\infty}x^3\left(\sqrt{1+\frac{5}{x^3}}-1\right) = \lim_{x\to\infty}x^3\left(\frac{\left(1+\frac{5}{x^3}\right)-1}{\sqrt{1+\frac{5}{x^3}}+1}\right).

Simplify:

lim⁑xβ†’βˆžx3(5x31+5x3+1)=lim⁑xβ†’βˆž51+5x3+1.\lim_{x\to\infty}x^3\left(\frac{\frac{5}{x^3}}{\sqrt{1+\frac{5}{x^3}}+1}\right) = \lim_{x\to\infty}\frac{5}{\sqrt{1+\frac{5}{x^3}}+1}.

Now the remaining variable expression has a clear limit:

lim⁑xβ†’βˆž51+5x3+1=51+0+1=52.\lim_{x\to\infty}\frac{5}{\sqrt{1+\frac{5}{x^3}}+1} = \frac{5}{\sqrt{1+0}+1} = \frac52.

Substitution for limits works like u-substitution for integrals, but the goal is different: you rename a messy inside expression so the limit becomes a standard form. If

u=g(x)u=g(x)

and g(x)→Lg(x)\to L as x→ax\to a, then

lim⁑xβ†’af(g(x))=lim⁑uβ†’Lf(u),\lim_{x\to a} f(g(x))=\lim_{u\to L}f(u),

as long as the new limit exists.

Example. Evaluate

lim⁑xβ†’4x+5βˆ’3xβˆ’4.\lim_{x\to4}\frac{\sqrt{x+5}-3}{x-4}.

Let u=x+5u=\sqrt{x+5}. As x→4x\to4, u→3u\to3. Also,

u2=x+5⟹x=u2βˆ’5.u^2=x+5 \quad\Longrightarrow\quad x=u^2-5.

So

xβˆ’4=u2βˆ’9=(uβˆ’3)(u+3).x-4=u^2-9=(u-3)(u+3).

The limit becomes

lim⁑uβ†’3uβˆ’3(uβˆ’3)(u+3)=lim⁑uβ†’31u+3=16.\lim_{u\to3}\frac{u-3}{(u-3)(u+3)} = \lim_{u\to3}\frac{1}{u+3} = \frac16.

We also study

lim⁑xβ†’βˆžf(x),lim⁑xβ†’βˆ’βˆžf(x),\lim_{x \to \infty} f(x), \qquad \lim_{x \to -\infty} f(x),

or as more commonly known as end behavior.

For rational functions:

  • If degree numerator < degree denominator: the limit is 00,
  • If the degrees are equal: the limit is the ratio of leading coefficients,
  • If degree numerator > degree denominator: there is no finite horizontal asymptote (the function may have a slant or oblique asymptote).

For other common function families, compare long-run growth:

Function typeTypical end behavior idea
Polynomialleading term controls the sign and size
Rationalcompare degrees after simplifying
Trigsine and cosine oscillate, so many infinity limits do not exist
Inverse trigoften approaches a horizontal angle value

Example. Evaluate lim⁑xβ†’βˆž3x2+5x2x2βˆ’7\displaystyle\lim_{x\to\infty} \frac{3x^2+5x}{2x^2-7} and identify the horizontal asymptote.

Divide numerator and denominator by x2x^2:

lim⁑xβ†’βˆž3x2+5x2x2βˆ’7=lim⁑xβ†’βˆž3+5/x2βˆ’7/x2.\lim_{x\to\infty}\frac{3x^2+5x}{2x^2-7} = \lim_{x\to\infty}\frac{3+5/x}{2-7/x^2}.

As xβ†’βˆžx\to\infty, the terms 5/x5/x and 7/x27/x^2 vanish (go to 00), leaving the limit

32.\frac{3}{2}.

Therefore the horizontal asymptote is y=32y=\frac32.

You can learn more about end behavior for rational functions in AP Precalculus.

Example. Evaluate

lim⁑xβ†’βˆžarctan⁑x.\lim_{x\to\infty}\arctan x.

The function y=arctan⁑xy=\arctan x asks for the angle whose tangent is xx. As xx becomes very large and positive, that angle approaches the vertical asymptote angle of tangent:

Ο€2.\frac{\pi}{2}.

Therefore

lim⁑xβ†’βˆžarctan⁑x=Ο€2.\lim_{x\to\infty}\arctan x=\frac{\pi}{2}.

Similarly,

lim⁑xβ†’βˆ’βˆžarctan⁑x=βˆ’Ο€2.\lim_{x\to-\infty}\arctan x=-\frac{\pi}{2}.

Example. Evaluate

lim⁑xβ†’βˆž9x2+4xβˆ’2xx+1.\lim_{x\to\infty}\frac{\sqrt{9x^2+4x}-2x}{x+1}.

At infinity, factor x2x^2 inside the square root:

lim⁑xβ†’βˆž9x2+4x=lim⁑xβ†’βˆžx2(9+4x)=lim⁑xβ†’βˆžβˆ£x∣9+4x.\lim_{x\to\infty}\sqrt{9x^2+4x} = \lim_{x\to\infty}\sqrt{x^2\left(9+\frac4x\right)} = \lim_{x\to\infty}\lvert x\rvert\sqrt{9+\frac4x}.

Since xβ†’βˆžx\to\infty, x>0x>0 eventually, so ∣x∣=x\lvert x\rvert=x. Then

lim⁑xβ†’βˆž9x2+4xβˆ’2xx+1=lim⁑xβ†’βˆžx9+4xβˆ’2xx+1.\lim_{x\to\infty}\frac{\sqrt{9x^2+4x}-2x}{x+1} = \lim_{x\to\infty}\frac{x\sqrt{9+\frac4x}-2x}{x+1}.

Factor xx from the numerator and denominator:

lim⁑xβ†’βˆžx(9+4xβˆ’2)x(1+1x)=lim⁑xβ†’βˆž9+4xβˆ’21+1x.\lim_{x\to\infty}\frac{x\left(\sqrt{9+\frac4x}-2\right)}{x\left(1+\frac1x\right)} = \lim_{x\to\infty}\frac{\sqrt{9+\frac4x}-2}{1+\frac1x}.

Now take the limit:

9+0βˆ’21+0=1.\frac{\sqrt{9+0}-2}{1+0} = 1.

Therefore,

lim⁑xβ†’βˆž9x2+4xβˆ’2xx+1=1.\lim_{x\to\infty}\frac{\sqrt{9x^2+4x}-2x}{x+1}=1.

Definition: A function is said to be continuous at x=ax = a when:

  1. f(a)f(a) exists,
  2. lim⁑xβ†’af(x)\lim_{x \to a} f(x) exists,
  3. lim⁑xβ†’af(x)=f(a).\lim_{x \to a} f(x) = f(a).

Continuity means the nearby behavior of the function matches the value at the point. In a simpler sense, a function is continuous if around that point, you can draw the graph without picking up your pencil. A graph that is continuous without any specifications about location is assumed to be continuous everywhere.

A break in continuity is called a discontinuity, and can come in many types. For example,

  • Holes: lim⁑xβ†’af(x)\lim_{x \to a} f(x) exists, but lim⁑xβ†’af(x)β‰ f(a).\lim_{x \to a} f(x) \ne f(a).
  • Jumps: Left hand and right hand limits differ
  • Infinite discontinuity: A vertical asymptote, basically when any one-sided limit becomes ±∞\pm \infty
  • Oscillatory discontinuity: no single nearby trend, most applicable to trig functions

For piecewise functions, continuity at the switching point is a limit-matching problem. The left-hand limit, right-hand limit, and actual function value must all agree.

Example. Identify all discontinuities of

f(x)={x2βˆ’9xβˆ’3,x<3,7,x=3,2x+1,3<x<5,20,x=5,1xβˆ’6,x>5.f(x)= \begin{cases} \dfrac{x^2-9}{x-3}, & x<3,\\ 7, & x=3,\\ 2x+1, & 3<x<5,\\ 20, & x=5,\\ \dfrac{1}{x-6}, & x>5. \end{cases}

Justify each case.

At x=3x=3, the left-hand branch simplifies for x≠3x\ne3:

x2βˆ’9xβˆ’3=(xβˆ’3)(x+3)xβˆ’3=x+3.\frac{x^2-9}{x-3} = \frac{(x-3)(x+3)}{x-3} = x+3.

So

lim⁑xβ†’3βˆ’f(x)=6.\lim_{x\to3^-}f(x)=6.

The right-hand limit comes from 2x+12x+1:

lim⁑xβ†’3+f(x)=7.\lim_{x\to3^+}f(x)=7.

Since the one-sided limits differ, x=3x=3 is a jump discontinuity. The fact that f(3)=7f(3)=7 does not fix the jump.

At x=5x=5,

lim⁑xβ†’5βˆ’f(x)=2(5)+1=11.\lim_{x\to5^-}f(x)=2(5)+1=11.

For the right-hand side, use the branch 1/(xβˆ’6)1/(x-6):

lim⁑xβ†’5+f(x)=15βˆ’6=βˆ’1.\lim_{x\to5^+}f(x)=\frac{1}{5-6}=-1.

The one-sided limits differ, so x=5x=5 is also a jump discontinuity. The value f(5)=20f(5)=20 is just the actual point value.

At x=6x=6, the branch 1/(xβˆ’6)1/(x-6) has a vertical asymptote. Since

lim⁑xβ†’6βˆ’1xβˆ’6=βˆ’βˆžandlim⁑xβ†’6+1xβˆ’6=∞,\lim_{x\to6^-}\frac{1}{x-6}=-\infty \qquad\text{and}\qquad \lim_{x\to6^+}\frac{1}{x-6}=\infty,

there is an infinite discontinuity at x=6x=6.

Therefore the discontinuities are x=3x=3, x=5x=5, and x=6x=6.

Theorem (Continuity of algebraic combinations). If ff and gg are continuous at x=ax=a, then the following functions are also continuous at x=ax=a:

  • f+gf+g,
  • fβˆ’gf-g,
  • fgfg,
  • cfcf for any constant cc,
  • fg\dfrac{f}{g}, as long as g(a)β‰ 0g(a)\ne0.

We will prove one example below, as all of them are very similar.

Proof (Product of continuous functions). Suppose ff and gg are continuous at x=ax=a. Then

lim⁑xβ†’af(x)=f(a)andlim⁑xβ†’ag(x)=g(a).\lim_{x\to a}f(x)=f(a) \qquad\text{and}\qquad \lim_{x\to a}g(x)=g(a).

Using the product rule for limits,

lim⁑xβ†’af(x)g(x)=(lim⁑xβ†’af(x))(lim⁑xβ†’ag(x)).\lim_{x\to a}f(x)g(x) = \left(\lim_{x\to a}f(x)\right)\left(\lim_{x\to a}g(x)\right).

So

lim⁑xβ†’af(x)g(x)=f(a)g(a).\lim_{x\to a}f(x)g(x)=f(a)g(a).

But f(a)g(a)f(a)g(a) is exactly the value of the product function at aa. Therefore fgfg is continuous at x=ax=a.

Theorem (Taking out limits). If

lim⁑xβ†’ag(x)=L\lim_{x\to a}g(x)=L

and ff is continuous at LL, then

lim⁑xβ†’af(g(x))=f(lim⁑xβ†’ag(x))=f(L).\lim_{x\to a}f(g(x)) = f\left(\lim_{x\to a}g(x)\right) = f(L).

In words, you can move the limit inside ff only when the outside function is continuous at the value the inside expression approaches.

Proof (Taking out limits). Since lim⁑xβ†’ag(x)=L\lim_{x\to a}g(x)=L, the expression g(x)g(x) gets as close to LL as we want when xx is close enough to aa. Since ff is continuous at LL, making the input to ff close to LL forces the output of ff close to f(L)f(L).

So as x→ax\to a, the input g(x)g(x) approaches LL, and then the output f(g(x))f(g(x)) approaches f(L)f(L). Therefore,

lim⁑xβ†’af(g(x))=f(L).\lim_{x\to a}f(g(x))=f(L).

Example. Determine where

h(x)=x+1xβˆ’2h(x)=\sqrt{\frac{x+1}{x-2}}

is continuous.

The inside rational expression is continuous wherever x≠2x\ne2. The square root is continuous when its input is nonnegative, so we need

x+1xβˆ’2β‰₯0.\frac{x+1}{x-2}\ge0.

The critical values are x=βˆ’1x=-1 and x=2x=2. A sign chart gives

x+1xβˆ’2β‰₯0on(βˆ’βˆž,βˆ’1]βˆͺ(2,∞).\frac{x+1}{x-2}\ge0 \quad\text{on}\quad (-\infty,-1]\cup(2,\infty).

Therefore hh is continuous on

(βˆ’βˆž,βˆ’1]βˆͺ(2,∞).(-\infty,-1]\cup(2,\infty).

Example. Let

f(u)={u+2,u<2,5,u=2,u2βˆ’1,u>2,f(u)= \begin{cases} u+2, & u<2,\\ 5, & u=2,\\ u^2-1, & u>2, \end{cases}

and

g(x)={1+x2sin⁑(1/x),x<0,1,x=0,1+x2,0<x<1,x,xβ‰₯1.g(x)= \begin{cases} 1+x^2\sin(1/x), & x<0,\\ 1, & x=0,\\ 1+x^2, & 0<x<1,\\ x, & x\ge1. \end{cases}

Determine whether h(x)=f(g(x))h(x)=f(g(x)) is continuous at x=0x=0 and x=2x=2. Justify both answers.

At x=0x=0, the inside function approaches 11 from both sides:

lim⁑xβ†’0βˆ’g(x)=lim⁑xβ†’0βˆ’(1+x2sin⁑(1/x))=1\lim_{x\to0^-}g(x) = \lim_{x\to0^-}\left(1+x^2\sin(1/x)\right) = 1

by the Squeeze Theorem, and

lim⁑xβ†’0+g(x)=lim⁑xβ†’0+(1+x2)=1.\lim_{x\to0^+}g(x) = \lim_{x\to0^+}(1+x^2) = 1.

Also g(0)=1g(0)=1. Since f(u)=u+2f(u)=u+2 near u=1u=1, ff is continuous at 11. Therefore

lim⁑xβ†’0h(x)=lim⁑xβ†’0f(g(x))=f(1)=h(0).\lim_{x\to0}h(x) = \lim_{x\to0}f(g(x)) = f(1) = h(0).

So hh is continuous at x=0x=0.

At x=2x=2, the inside function is simply g(x)=xg(x)=x near 22, so g(x)β†’2g(x)\to2 and g(2)=2g(2)=2. But ff is not continuous at u=2u=2:

lim⁑uβ†’2βˆ’f(u)=4andlim⁑uβ†’2+f(u)=3,\lim_{u\to2^-}f(u)=4 \qquad\text{and}\qquad \lim_{u\to2^+}f(u)=3,

while f(2)=5f(2)=5. This discontinuity gets passed through the composite:

lim⁑xβ†’2βˆ’h(x)=4andlim⁑xβ†’2+h(x)=3.\lim_{x\to2^-}h(x)=4 \qquad\text{and}\qquad \lim_{x\to2^+}h(x)=3.

So hh is not continuous at x=2x=2.


Theorem (Squeeze Theorem). If g(x)≀f(x)≀h(x)g(x) \le f(x) \le h(x) for all xx 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.

Proof (Squeeze Theorem). If g(x)≀f(x)≀h(x)g(x) \le f(x) \le h(x) and both outside functions are forced close to LL, then f(x)f(x) has nowhere else to go. For inputs close enough to aa, both g(x)g(x) and h(x)h(x) lie inside a tiny band around LL. Since f(x)f(x) is trapped between them, it must lie inside the same band.

Example. Show that lim⁑xβ†’0xsin⁑1x=0.\displaystyle\lim_{x\to0}x\sin\frac{1}{x}=0.

The sine factor is bounded by βˆ’1≀sin⁑1x≀1-1\le\sin\frac{1}{x}\le1 for all nonzero xx. Multiply through by ∣x∣\lvert x\rvert to obtain

βˆ’βˆ£xβˆ£β‰€xsin⁑1xβ‰€βˆ£x∣.-\lvert x\rvert \le x\sin\frac{1}{x} \le \lvert x\rvert.

Since both outer bounds tend to 00 as x→0x\to0, the Squeeze Theorem gives

lim⁑xβ†’0xsin⁑1x=0.\lim_{x\to0}x\sin\frac{1}{x}=0.

Two key trig limits that appear often are:

lim⁑xβ†’0sin⁑xx=1,\lim_{x \to 0} \frac{\sin x}{x} = 1, lim⁑xβ†’0tan⁑xx=1.\lim_{x \to 0} \frac{\tan x}{x} = 1.

To use these limits, rewrite the trig expression to match one of these forms. The same result does not hold for cos⁑x\cos x in the numerator. Since cos⁑xβ†’1\cos x\to1 while xβ†’0x\to0, the quotient cos⁑xx\frac{\cos x}{x} becomes unbounded. The two-sided limit does not exist.

Proof (The limit of sine over angle). For 0<x<Ο€20<x<\frac{\pi}{2}, compare three areas in the unit circle: the inner triangle, the circular sector, and the outer tangent triangle.

xy(cosx;sinx)x1tanx

For this picture, the inner triangle has area 12sin⁑xcos⁑x\frac12\sin x\cos x, the sector has area 12x\frac12x, and the outer triangle has area 12tan⁑x\frac12\tan x. Therefore,

12sin⁑xcos⁑x≀12x≀12tan⁑x.\frac12\sin x\cos x \le \frac12x \le \frac12\tan x.

Multiply by 22:

sin⁑xcos⁑x≀x≀tan⁑x.\sin x\cos x\le x\le\tan x.

Since tan⁑x=sin⁑xcos⁑x\tan x=\frac{\sin x}{\cos x} and all quantities are positive on 0<x<Ο€20<x<\frac{\pi}{2}, divide by sin⁑x\sin x:

cos⁑x≀xsin⁑x≀1cos⁑x.\cos x\le\frac{x}{\sin x}\le\frac{1}{\cos x}.

Taking reciprocals reverses the useful form:

cos⁑x≀sin⁑xx≀1.\cos x\le\frac{\sin x}{x}\le1.

As x→0+x\to0^+, both outer expressions approach 11, so the Squeeze Theorem gives

lim⁑xβ†’0+sin⁑xx=1.\lim_{x\to0^+}\frac{\sin x}{x}=1.

Since sin⁑x/x\sin x/x is an even function, the left-hand limit is also 11. Therefore,

lim⁑xβ†’0sin⁑xx=1.\lim_{x\to0}\frac{\sin x}{x}=1.

Using this result, we have

lim⁑xβ†’0tan⁑xx=lim⁑xβ†’0sin⁑xxcos⁑x=lim⁑xβ†’0sin⁑xxβ‹…lim⁑xβ†’01cos⁑x=1β‹…1=1\lim_{x\to0}\frac{\tan x}{x} = \lim_{x\to0}\frac{\sin x}{x \cos x} = \lim_{x\to0}\frac{\sin x}{x} \cdot \lim_{x\to0}\frac{1}{\cos x} = 1 \cdot 1 = 1

Many indeterminate trig limits become standard limits after rewriting the angle or using an identity. Look for a way to create a factor like

sin⁑uu\frac{\sin u}{u}

where uβ†’0u\to0 (or the equivalent tangent version) and then cancel it out of the equation. In fact, lim⁑xβ†’0sin⁑uu\lim_{x\to0}\frac{\sin u}{u} is often referred to as the β€œsavior” limit since with almost all indeterminate trig limits, sin⁑xx\frac{\sin x}{x} shows up and can get cancelled. Note that lim⁑xβ†’0usin⁑u\lim_{x\to0}\frac{u}{\sin u} is equivalent to the savior limit (since the reciprocal of 11 is 11.)

Example. Evaluate

lim⁑xβ†’01βˆ’cos⁑(2x)x2.\lim_{x\to0}\frac{1-\cos(2x)}{x^2}.

Use the identity

1βˆ’cos⁑(2x)=2sin⁑2x.1-\cos(2x)=2\sin^2 x.

Then

lim⁑xβ†’01βˆ’cos⁑(2x)x2=lim⁑xβ†’02sin⁑2xx2=lim⁑xβ†’02(sin⁑xx)2.\lim_{x\to0}\frac{1-\cos(2x)}{x^2} = \lim_{x\to0}\frac{2\sin^2 x}{x^2} = \lim_{x\to0}2\left(\frac{\sin x}{x}\right)^2.

As xβ†’0x\to0, sin⁑xxβ†’1\frac{\sin x}{x}\to1, so

lim⁑xβ†’01βˆ’cos⁑(2x)x2=2.\lim_{x\to0}\frac{1-\cos(2x)}{x^2}=2.

Example. Evaluate

lim⁑xβ†’01βˆ’cos⁑(3x)cos⁑2(5x)βˆ’1.\lim_{x\to0}\frac{1-\cos(3x)}{\cos^2(5x)-1}.

Use the identities

1βˆ’cos⁑(3x)=2sin⁑2(3x2)1-\cos(3x)=2\sin^2\left(\frac{3x}{2}\right)

and

cos⁑2(5x)βˆ’1=βˆ’sin⁑2(5x).\cos^2(5x)-1=-\sin^2(5x).

Then

lim⁑xβ†’01βˆ’cos⁑(3x)cos⁑2(5x)βˆ’1=lim⁑xβ†’02sin⁑2(3x2)βˆ’sin⁑2(5x).\lim_{x\to0}\frac{1-\cos(3x)}{\cos^2(5x)-1} = \lim_{x\to0} \frac{2\sin^2\left(\frac{3x}{2}\right)}{-\sin^2(5x)}.

Rewrite the sine factors so each has the form sin⁑u/u\sin u/u:

lim⁑xβ†’0βˆ’2(sin⁑(3x2)3x2)2(3x25x)2(5xsin⁑(5x))2.\lim_{x\to0} -2 \left(\frac{\sin\left(\frac{3x}{2}\right)}{\frac{3x}{2}}\right)^2 \left(\frac{\frac{3x}{2}}{5x}\right)^2 \left(\frac{5x}{\sin(5x)}\right)^2.

The two standard-limit factors approach 11, so the limit is

βˆ’2(310)2=βˆ’950.-2\left(\frac{3}{10}\right)^2 = -\frac{9}{50}.

Example. Evaluate

lim⁑xβ†’0+sin⁑(1/x)1/x.\lim_{x\to0^+}\frac{\sin(1/x)}{1/x}.

Let u=1xu=\frac{1}{x}. As xβ†’0+x\to0^+, uβ†’βˆžu\to\infty, so the limit becomes

lim⁑uβ†’βˆžsin⁑uu.\lim_{u\to\infty}\frac{\sin u}{u}.

The numerator oscillates between βˆ’1-1 and 11, while the denominator grows without bound. Since

βˆ’1u≀sin⁑uu≀1u-\frac{1}{u}\le\frac{\sin u}{u}\le\frac{1}{u}

for u>0u>0, and both outer bounds approach 00 as uβ†’βˆžu\to\infty, the Squeeze Theorem gives

lim⁑uβ†’βˆžsin⁑uu=0.\lim_{u\to\infty}\frac{\sin u}{u}=0.

Therefore,

lim⁑xβ†’0+sin⁑(1/x)1/x=0.\lim_{x\to0^+}\frac{\sin(1/x)}{1/x}=0.

We have talked about limits in the general sense, where it maps out the behavior near a point. But how do we formalize it? The statement

lim⁑xβ†’af(x)=L\lim_{x\to a}f(x)=L

means that every small output tolerance around LL can be guaranteed by choosing a sufficiently small input window around aa, excluding x=ax=a itself.

In symbols, for every Ξ΅>0\varepsilon>0, there is a Ξ΄>0\delta>0 such that

0<∣xβˆ’a∣<δ⟹∣f(x)βˆ’L∣<Ξ΅.0<\lvert x-a\rvert<\delta \quad\Longrightarrow\quad \lvert f(x)-L\rvert<\varepsilon.

The formal definition is also useful for understanding why limit statements are stronger than a graph or table. A table can suggest that the output is approaching LL, but an epsilon-delta proof says that every possible tolerance can be handled.

Example. Use the epsilon definition to prove

lim⁑xβ†’3(2x+1)=7.\lim_{x\to 3}(2x+1)=7.

We want to make ∣(2x+1)βˆ’7∣<Ξ΅\lvert (2x+1)-7\rvert<\varepsilon. Simplify the expression:

∣(2x+1)βˆ’7∣=∣2xβˆ’6∣=2∣xβˆ’3∣.\lvert (2x+1)-7\rvert=\lvert 2x-6\rvert=2\lvert x-3\rvert.

So it is enough to require

2∣xβˆ’3∣<Ξ΅,2\lvert x-3\rvert<\varepsilon,

which is the same as

∣xβˆ’3∣<Ξ΅2.\lvert x-3\rvert<\frac{\varepsilon}{2}.

Choose

Ξ΄=Ξ΅2.\delta=\frac{\varepsilon}{2}.

Then whenever 0<∣xβˆ’3∣<Ξ΄0<\lvert x-3\rvert<\delta, we have

∣(2x+1)βˆ’7∣=2∣xβˆ’3∣<2Ξ΄=2β‹…Ξ΅2=Ξ΅.\lvert (2x+1)-7\rvert=2\lvert x-3\rvert<2\delta=2\cdot\frac{\varepsilon}{2}=\varepsilon.

Therefore, by the formal definition,

lim⁑xβ†’3(2x+1)=7.\lim_{x\to3}(2x+1)=7.

Theorem (Intermediate Value Theorem). If ff is continuous on [a,b][a,b] and NN lies between f(a)f(a) and f(b)f(b), then there exists some c∈(a,b)c \in (a,b) such that f(c)=Nf(c) = N.

Proof (IVT). Assume f(a)<N<f(b)f(a)<N<f(b). Define

g(x)=f(x)βˆ’N.g(x)=f(x)-N.

Then gg is continuous on [a,b][a,b], and

g(a)=f(a)βˆ’N<0,g(b)=f(b)βˆ’N>0.g(a)=f(a)-N<0, \qquad g(b)=f(b)-N>0.

Let

S={x∈[a,b]∣g(x)<0}.S=\{x\in[a,b]\mid g(x)<0\}.

The set SS is nonempty because a∈Sa\in S, and it is bounded above by bb. Let c=sup⁑Sc=\sup S. Since gg is continuous, g(c)g(c) cannot be negative or positive. If g(c)<0g(c)<0, then values slightly to the right of cc would still be negative, contradicting that cc is the least upper bound. If g(c)>0g(c)>0, then values slightly to the left of cc would be positive, contradicting the fact that points of SS can get arbitrarily close to cc from the left.

Therefore,

g(c)=0.g(c)=0.

So

f(c)βˆ’N=0⟹f(c)=N.f(c)-N=0 \quad\Longrightarrow\quad f(c)=N.

The case f(b)<N<f(a)f(b)<N<f(a) follows by applying the same argument to βˆ’g(x)-g(x).

This may seem very jargony, and you will learn more about the notations in linear algebra. For now, the proof is not very important to know.

This theorem guarantees at least one solution, but it does not tell you how many.

Example. Show that the equation

x3+xβˆ’1=0x^3+x-1=0

has at least one solution on the interval [0,1][0,1].

Let

f(x)=x3+xβˆ’1.f(x)=x^3+x-1.

This function is a polynomial, so it is continuous on [0,1][0,1]. Check the endpoint values:

f(0)=03+0βˆ’1=βˆ’1f(0)=0^3+0-1=-1

and

f(1)=13+1βˆ’1=1.f(1)=1^3+1-1=1.

Since 00 lies between βˆ’1-1 and 11, the Intermediate Value Theorem guarantees that there is some number c∈(0,1)c\in(0,1) such that

f(c)=0.f(c)=0.

That means

c3+cβˆ’1=0.c^3+c-1=0.

So the equation has at least one solution between 00 and 11. Notice that IVT proves the solution exists, but it does not tell us the exact value of cc.


Limit questions are often about deciding which tool is allowed before doing any algebra.


  1. Suppose ff satisfies

    lim⁑uβ†’2βˆ’f(u)=βˆ’1,lim⁑uβ†’2+f(u)=3,f(2)=5.\lim_{u\to2^-}f(u)=-1, \qquad \lim_{u\to2^+}f(u)=3, \qquad f(2)=5.

    Let g(x)=2+x∣x∣g(x)=2+x\lvert x\rvert.

    (A)(A) Find lim⁑xβ†’0βˆ’f(g(x))\displaystyle\lim_{x\to0^-}f(g(x)) and lim⁑xβ†’0+f(g(x))\displaystyle\lim_{x\to0^+}f(g(x)).

    (B)(B) Determine whether lim⁑xβ†’0f(g(x))\displaystyle\lim_{x\to0}f(g(x)) exists. Justify your answer by describing the direction from which g(x)g(x) approaches 22 on each side of x=0x=0.

  1. Evaluate

    lim⁑xβ†’1(x4βˆ’1x3βˆ’1)(x+3βˆ’2xβˆ’1).\lim_{x\to1} \left(\frac{x^4-1}{x^3-1}\right) \left(\frac{\sqrt{x+3}-2}{x-1}\right).

    Show enough algebra to explain why multiplying the two indeterminate factors does not prevent the limit from existing.

  1. Evaluate the limit without using L’Hopital’s Rule or a power-series expansion:

    lim⁑xβ†’0sin⁑(3x)βˆ’3sin⁑xx(1βˆ’cos⁑x).\lim_{x\to0} \frac{\sin(3x)-3\sin x}{x(1-\cos x)}.

    Your work must reduce the expression to standard trigonometric limits.

  1. Let ⌊yβŒ‹\lfloor y\rfloor denote the greatest integer less than or equal to yy. Determine

    lim⁑xβ†’0x2⌊1xβŒ‹.\lim_{x\to0}x^2\left\lfloor\frac1x\right\rfloor.

    A table or decimal approximation is not sufficient; justify the result with inequalities and the Squeeze Theorem.

  1. Evaluate

    lim⁑xβ†’βˆ’βˆž(9x2βˆ’4x+3x).\lim_{x\to-\infty}\left(\sqrt{9x^2-4x}+3x\right).

    Explain where the sign of xx matters when simplifying the square root.

  1. Consider

    R(x)=ax2+bxβˆ’6x2+xβˆ’2.R(x)=\frac{ax^2+bx-6}{x^2+x-2}.

    Find the values of aa and bb for which RR has a removable discontinuity at x=1x=1 and a horizontal asymptote at y=2y=2. Then find lim⁑xβ†’1R(x)\displaystyle\lim_{x\to1}R(x) for those values.

  1. For positive constants aa and bb, define

    f(x)={sin⁑(ax)x,x<0,3,x=0,1βˆ’cos⁑(bx)x2,x>0.f(x)= \begin{cases} \dfrac{\sin(ax)}{x}, & x<0,\\ 3, & x=0,\\ \dfrac{1-\cos(bx)}{x^2}, & x>0. \end{cases}

    Find the unique values of aa and bb that make ff continuous at x=0x=0. Justify both one-sided limits.

  1. Use the formal epsilon-delta definition of a limit to prove

    lim⁑xβ†’3x2=9.\lim_{x\to3}x^2=9.

    Give an explicit choice of Ξ΄\delta in terms of Ξ΅\varepsilon and explain why an additional bound on ∣xβˆ’3∣\lvert x-3\rvert is needed.

  1. Consider the functions

    r(x)=1xβˆ’1andp(x)=x5+xβˆ’1.r(x)=\frac1{x-1} \qquad\text{and}\qquad p(x)=x^5+x-1.

    (A)(A) Although r(0)<0<r(2)r(0)<0<r(2), explain why the Intermediate Value Theorem does not guarantee a zero of rr on (0,2)(0,2).

    (B)(B) Use the Intermediate Value Theorem to show that pp has a zero in (0,1)(0,1).

    (C)(C) Apply bisection repeatedly to place that zero in an interval of length at most 18\frac18. State every interval you keep and justify each choice with a sign change.

  1. Decide whether each statement must be true. Prove every statement that is true and give a counterexample for every statement that is false.

    (A)(A) If lim⁑xβ†’a[f(x)]2=4\displaystyle\lim_{x\to a}[f(x)]^2=4, then lim⁑xβ†’af(x)\displaystyle\lim_{x\to a}f(x) exists.

    (B)(B) If lim⁑xβ†’af(x)=0\displaystyle\lim_{x\to a}f(x)=0 and gg is bounded near aa, then lim⁑xβ†’af(x)g(x)=0\displaystyle\lim_{x\to a}f(x)g(x)=0.

    (C)(C) If lim⁑xβ†’af(x)g(x)=1\displaystyle\lim_{x\to a}\frac{f(x)}{g(x)}=1 and lim⁑xβ†’ag(x)=0\displaystyle\lim_{x\to a}g(x)=0, then lim⁑xβ†’a[f(x)βˆ’g(x)]=0\displaystyle\lim_{x\to a}[f(x)-g(x)]=0.

  1. Let

    h(x)=x+1xβˆ’2+x2βˆ’9xβˆ’3.h(x)=\sqrt{\frac{x+1}{x-2}}+\frac{x^2-9}{x-3}.

    (A)(A) Find the exact domain of hh.

    (B)(B) State every interval on which hh is continuous.

    (C)(C) Evaluate lim⁑xβ†’βˆ’1βˆ’h(x)\displaystyle\lim_{x\to-1^-}h(x), lim⁑xβ†’2+h(x)\displaystyle\lim_{x\to2^+}h(x), and lim⁑xβ†’3h(x)\displaystyle\lim_{x\to3}h(x), allowing infinite limits when appropriate.

    (D)(D) Classify the behavior at x=2x=2 and x=3x=3.

  1. Evaluate the limit without using L’Hopital’s Rule:

    lim⁑xβ†’βˆžx(Ο€2βˆ’arctan⁑x).\lim_{x\to\infty}x\left(\frac{\pi}{2}-\arctan x\right).