Definition. A limit is defined as
lim β‘ x β a f ( x ) = L \lim_{x \to a} f(x) = L x β a lim β f ( x ) = L
if we can make f ( x ) f(x) f ( x ) as close to L L L as we want by taking x x x sufficiently close to a a a , with x β a x \ne a x ξ = a .
This is about nearby behavior, not direct substitution. It is possible for:
the limit to exist while f ( a ) f(a) f ( a ) is undefined,
the limit to exist while f ( a ) β L f(a) \ne L f ( a ) ξ = L ,
the limit to fail even though f ( a ) f(a) f ( a ) exists.
A quick check is direct substitution. If substituting x = a x = a x = a gives a finite number and the expression is defined there, the limit is usually that number.
Example. Evaluate lim β‘ x β 2 ( 3 x 2 β 1 ) . \displaystyle\lim_{x\to 2}\bigl(3x^2-1\bigr). x β 2 lim β ( 3 x 2 β 1 ) .
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. 3 ( 2 ) 2 β 1 = 11.
So the limit is 11 11 11 .
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) lim x β a β β f ( x )
Right-hand limit: lim β‘ x β a + f ( x ) \lim_{x \to a^+} f(x) lim x β 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. x β a β lim β f ( x ) = x β a + lim β f ( x ) = L .
If the left-hand and right-hand limits disagree, then the two-sided limit does not exist.
Example. Evaluate lim β‘ x β 2 f ( x ) \displaystyle\lim_{x\to2} f(x) x β 2 lim β f ( x ) for
f ( x ) = { x + 1 , x < 2 , 5 , x = 2 , 3 x β 3 , x > 2. f(x)=
\begin{cases}
x+1, & x<2,\\
5, & x=2,\\
3x-3, & x>2.
\end{cases} f ( x ) = β© β¨ β§ β x + 1 , 5 , 3 x β 3 , β x < 2 , x = 2 , x > 2. β
The left-hand limit uses the branch x + 1 x+1 x + 1 :
lim β‘ x β 2 β f ( x ) = 2 + 1 = 3. \lim_{x\to2^-}f(x)=2+1=3. x β 2 β lim β f ( x ) = 2 + 1 = 3.
The right-hand limit uses the branch 3 x β 3 3x-3 3 x β 3 :
lim β‘ x β 2 + f ( x ) = 3 ( 2 ) β 3 = 3. \lim_{x\to2^+}f(x)=3(2)-3=3. x β 2 + lim β f ( x ) = 3 ( 2 ) β 3 = 3.
Since the one-sided limits agree,
lim β‘ x β 2 f ( x ) = 3. \lim_{x\to2}f(x)=3. x β 2 lim β f ( x ) = 3.
Notice that f ( 2 ) = 5 f(2)=5 f ( 2 ) = 5 , but that does not change the limit. The limit depends on nearby values, not the value directly at x = 2 x=2 x = 2 .
Example. The graph of f f f is shown below. Evaluate lim β‘ x β 0 f ( 1 β x 2 ) . \lim_{x\to0} f(1-x^2). lim x β 0 β f ( 1 β x 2 ) .
Β‘ 3 Β‘ 2 Β‘ 1 1 2 3 1 2 3 4 5 6 x y
As x β 0 x\to0 x β 0 , the inside expression satisfies
1 β x 2 β 1. 1-x^2\to1. 1 β x 2 β 1.
However, 1 β x 2 1-x^2 1 β x 2 is always less than or equal to 1 1 1 near x = 0 x=0 x = 0 . For x β 0 x\ne0 x ξ = 0 , it approaches 1 1 1 from the left:
1 β x 2 β 1 β . 1-x^2\to1^-. 1 β x 2 β 1 β .
So the limit depends on the left-hand behavior of f f f at x = 1 x=1 x = 1 . From the graph,
lim β‘ u β 1 β f ( u ) = 3. \lim_{u\to1^-} f(u)=3. u β 1 β lim β f ( u ) = 3.
Therefore,
lim β‘ x β 0 f ( 1 β x 2 ) = 3. \lim_{x\to0} f(1-x^2)=3. x β 0 lim β 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 x x x slightly less than a a a ,
values of x x x slightly greater than a a a .
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 β 2 f ( x ) \displaystyle\lim_{x\to2}f(x) x β 2 lim β f ( x ) .
x 1.9 1.99 1.999 2.001 2.01 2.1 f ( x ) 4.71 4.9701 4.997001 5.003001 5.0301 5.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} x f ( x ) β 1.9 4.71 β 1.99 4.9701 β 1.999 4.997001 β 2.001 5.003001 β 2.01 5.0301 β 2.1 5.31 β β
From the left, the function values approach 5 5 5 :
lim β‘ x β 2 β f ( x ) = 5. \lim_{x\to2^-}f(x)=5. x β 2 β lim β f ( x ) = 5.
From the right, the function values also approach 5 5 5 :
lim β‘ x β 2 + f ( x ) = 5. \lim_{x\to2^+}f(x)=5. x β 2 + lim β f ( x ) = 5.
Since the one-sided limits agree,
lim β‘ x β 2 f ( x ) = 5. \lim_{x\to2}f(x)=5. x β 2 lim β f ( x ) = 5.
Example. Use the table to estimate lim β‘ x β 0 g ( x ) \displaystyle\lim_{x\to0}g(x) x β 0 lim β g ( x ) .
x β 0.1 β 0.01 β 0.001 0.001 0.01 0.1 g ( x ) β 1.9 β 1.99 β 1.999 2.001 2.01 2.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} x g ( x ) β β 0.1 β 1.9 β β 0.01 β 1.99 β β 0.001 β 1.999 β 0.001 2.001 β 0.01 2.01 β 0.1 2.1 β β
From the left, the outputs approach β 2 -2 β 2 :
lim β‘ x β 0 β g ( x ) = β 2. \lim_{x\to0^-}g(x)=-2. x β 0 β lim β g ( x ) = β 2.
From the right, the outputs approach 2 2 2 :
lim β‘ x β 0 + g ( x ) = 2. \lim_{x\to0^+}g(x)=2. x β 0 + lim β g ( x ) = 2.
Since the one-sided limits do not agree,
lim β‘ x β 0 g ( x ) \lim_{x\to0}g(x) x β 0 lim β g ( x )
does not exist.
If lim β‘ x β a f ( x ) = L \lim_{x \to a} f(x) = L lim x β a β f ( x ) = L and lim β‘ x β a g ( x ) = M \lim_{x \to a} g(x) = M lim x β 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, x β a lim β ( f ( x ) Β± g ( x )) = L Β± M ,
lim β‘ x β a ( f ( x ) g ( x ) ) = L M , \lim_{x \to a} (f(x)g(x)) = LM, x β a lim β ( f ( x ) g ( x )) = L M ,
lim β‘ x β a f ( x ) g ( x ) = L M , M β 0 , \lim_{x \to a} \frac{f(x)}{g(x)} = \frac{L}{M}, \qquad M \ne 0, x β a lim β g ( x ) f ( x ) β = M L β , M ξ = 0 ,
lim β‘ x β a [ f ( x ) ] n = L n . \lim_{x \to a} [f(x)]^n = L^n. x β a lim β [ 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) f ( x ) is close to L L L and g ( x ) g(x) g ( x ) is close to M M M , then their sum is close to L + M L + M L + M , their product is close to L M LM L M , and their quotient is close to L / M L/M L / M as long as M β 0 M \ne 0 M ξ = 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 β 2 f ( x ) = 3 \lim_{x\to 2}f(x)=3 lim x β 2 β f ( x ) = 3 and lim β‘ x β 2 g ( x ) = β 1 \lim_{x\to 2}g(x)=-1 lim x β 2 β g ( x ) = β 1 . Find
lim β‘ x β 2 2 f ( x ) β g ( x ) [ f ( x ) ] 2 . \lim_{x\to2}\frac{2f(x)-g(x)}{[f(x)]^2}. x β 2 lim β [ f ( x ) ] 2 2 f ( x ) β g ( x ) β .
Using limit laws, substitute the known limits:
2 β
3 β ( β 1 ) 3 2 = 7 9 . \frac{2\cdot 3-(-1)}{3^2} = \frac{7}{9}. 3 2 2 β
3 β ( β 1 ) β = 9 7 β .
Therefore the limit equals 7 9 \frac{7}{9} 9 7 β .
Example. Suppose
lim β‘ x β 1 f ( x ) = 4 , lim β‘ x β 1 g ( x ) = 0 , lim β‘ x β 1 h ( x ) = β 2. \lim_{x\to1}f(x)=4,
\qquad
\lim_{x\to1}g(x)=0,
\qquad
\lim_{x\to1}h(x)=-2. x β 1 lim β f ( x ) = 4 , x β 1 lim β g ( x ) = 0 , x β 1 lim β h ( x ) = β 2.
Find
lim β‘ x β 1 f ( x ) + 5 β 3 h ( 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}. x β 1 lim β f ( x ) β h ( x ) g ( x ) + 1 f ( x ) + 5 β β 3 h ( x ) β .
Use the limit laws inside the expression:
f ( x ) + 5 β 4 + 5 = 3 , \sqrt{f(x)+5}\to\sqrt{4+5}=3, f ( x ) + 5 β β 4 + 5 β = 3 ,
3 h ( x ) β 3 ( β 2 ) = β 6 , 3h(x)\to3(-2)=-6, 3 h ( x ) β 3 ( β 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. f ( x ) β h ( x ) g ( x ) + 1 β 4 β ( β 2 ) ( 0 ) + 1 = 5.
Therefore
lim β‘ x β 1 f ( x ) + 5 β 3 h ( x ) f ( x ) β h ( x ) g ( x ) + 1 = 3 β ( β 6 ) 5 = 9 5 . \lim_{x\to1}\frac{\sqrt{f(x)+5}-3h(x)}{f(x)-h(x)g(x)+1}
=
\frac{3-(-6)}{5}
=
\frac95. x β 1 lim β f ( x ) β h ( x ) g ( x ) + 1 f ( x ) + 5 β β 3 h ( x ) β = 5 3 β ( β 6 ) β = 5 9 β .
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 / 0 0/0 0/0 , β / β \infty/\infty β/β , 0 β
β 0 \cdot \infty 0 β
β , β β β \infty - \infty β β β , 1 β 1^\infty 1 β , 0 0 0^0 0 0 , and β 0 \infty^0 β 0 .
Start by checking whether direct substitution works. If it gives an indeterminate form, choose a method that fits the expression.
Warning
A form that is not indeterminate may already determine the limit. For example, β / 3 \infty/3 β/3 indicates growth without bound. You can still simplify the expression, but indeterminate-form rules such as LβHΓ΄pitalβs Rule do not apply to that form.
Factoring is useful when direct substitution gives 0 / 0 0/0 0/0 and the numerator and denominator share a hidden factor. After canceling, the simplified expression agrees with the original expression for nearby values of x x x , even if the original expression is undefined at the exact input.
Example. Evaluate
lim β‘ x β 2 x 3 β 6 x 2 + 11 x β 6 x β 2 . \lim_{x\to2}\frac{x^3-6x^2+11x-6}{x-2}. x β 2 lim β x β 2 x 3 β 6 x 2 + 11 x β 6 β .
Direct substitution gives 0 / 0 0/0 0/0 , so the numerator must have a factor of x β 2 x-2 x β 2 . Since the cubic is not immediately obvious to factor by grouping, use synthetic division with 2 2 2 :
2 1 β 6 11 β 6 2 β 8 6 1 β 4 3 0 \begin{array}{r|rrrr}
2 & 1 & -6 & 11 & -6 \\
& & 2 & -8 & 6 \\\hline
& 1 & -4 & 3 & 0
\end{array} 2 β 1 1 β β 6 2 β 4 β 11 β 8 3 β β 6 6 0 β β
So
x 3 β 6 x 2 + 11 x β 6 = ( x β 2 ) ( x 2 β 4 x + 3 ) . x^3-6x^2+11x-6=(x-2)(x^2-4x+3). x 3 β 6 x 2 + 11 x β 6 = ( x β 2 ) ( x 2 β 4 x + 3 ) .
Cancel the removable factor:
lim β‘ x β 2 x 3 β 6 x 2 + 11 x β 6 x β 2 = lim β‘ x β 2 ( x β 2 ) ( x 2 β 4 x + 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}. x β 2 lim β x β 2 x 3 β 6 x 2 + 11 x β 6 β = x β 2 lim β x β 2 ( x β 2 ) ( x 2 β 4 x + 3 ) β .
For x β 2 x\ne2 x ξ = 2 , this simplifies to
lim β‘ x β 2 ( x 2 β 4 x + 3 ) . \lim_{x\to2}(x^2-4x+3). x β 2 lim β ( x 2 β 4 x + 3 ) .
Now substitute:
2 2 β 4 ( 2 ) + 3 = β 1. 2^2-4(2)+3
=
-1. 2 2 β 4 ( 2 ) + 3 = β 1.
So the limit is β 1 -1 β 1 . The original function has a removable discontinuity at x = 2 x=2 x = 2 , but the nearby behavior is controlled by the quotient polynomial.
When radicals create 0 / 0 0/0 0/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 β 0 x + 1 β 1 x . \displaystyle\lim_{x\to0}\frac{\sqrt{x+1}-1}{x}. x β 0 lim β x x + 1 β β 1 β .
Multiply by the conjugate to remove the radical from the numerator:
lim β‘ x β 0 x + 1 β 1 x = 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)}. x β 0 lim β x x + 1 β β 1 β = x β 0 lim β x ( x + 1 β + 1 ) ( x + 1 β β 1 ) ( 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. ( x + 1 β β 1 ) ( x + 1 β + 1 ) = ( x + 1 ) β 1 = x .
So, for x β 0 x\ne0 x ξ = 0 ,
lim β‘ x β 0 x + 1 β 1 x = lim β‘ x β 0 x x ( x + 1 + 1 ) = lim β‘ x β 0 1 x + 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}. x β 0 lim β x x + 1 β β 1 β = x β 0 lim β x ( x + 1 β + 1 ) x β = x β 0 lim β x + 1 β + 1 1 β .
Now evaluate the simplified limit:
lim β‘ x β 0 1 x + 1 + 1 = 1 2 . \lim_{x\to0}\frac{1}{\sqrt{x+1}+1}=\frac{1}{2}. x β 0 lim β x + 1 β + 1 1 β = 2 1 β .
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:
x 6 = β£ x 3 β£ . \sqrt{x^6}= \lvert x^3\rvert. x 6 β = β£ x 3 β£ .
The sign of that absolute value depends on whether x β β x\to\infty x β β or x β β β x\to-\infty x β β β . This matters because end-behavior limits are sensitive to direction.
Example. Evaluate
lim β‘ x β β ( x 6 + 5 x 3 β x 3 ) . \lim_{x\to\infty}\left(\sqrt{x^6+5x^3}-x^3\right). x β β lim β ( x 6 + 5 x 3 β β x 3 ) .
Direct substitution gives the indeterminate form β β β \infty-\infty β β β . Factor x 6 x^6 x 6 out of the radical:
lim β‘ x β β ( x 6 + 5 x 3 β x 3 ) = lim β‘ x β β ( x 6 ( 1 + 5 x 3 ) β x 3 ) . \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). x β β lim β ( x 6 + 5 x 3 β β x 3 ) = x β β lim β ( x 6 ( 1 + x 3 5 β ) β β x 3 ) .
Since x β β x\to\infty x β β , β£ x 3 β£ = x 3 \lvert x^3\rvert=x^3 β£ x 3 β£ = x 3 , so
lim β‘ x β β ( x 6 ( 1 + 5 x 3 ) β x 3 ) = lim β‘ x β β ( x 3 1 + 5 x 3 β x 3 ) . \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). x β β lim β ( x 6 ( 1 + x 3 5 β ) β β x 3 ) = x β β lim β ( x 3 1 + x 3 5 β β β x 3 ) .
Factor out x 3 x^3 x 3 :
lim β‘ x β β x 3 ( 1 + 5 x 3 β 1 ) . \lim_{x\to\infty}x^3\left(\sqrt{1+\frac{5}{x^3}}-1\right). x β β lim β x 3 ( 1 + x 3 5 β β β 1 ) .
This is still not easy to evaluate directly, so rationalize:
lim β‘ x β β x 3 ( 1 + 5 x 3 β 1 ) = lim β‘ x β β x 3 ( ( 1 + 5 x 3 ) β 1 1 + 5 x 3 + 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). x β β lim β x 3 ( 1 + x 3 5 β β β 1 ) = x β β lim β x 3 β 1 + x 3 5 β β + 1 ( 1 + x 3 5 β ) β 1 β β .
Simplify:
lim β‘ x β β x 3 ( 5 x 3 1 + 5 x 3 + 1 ) = lim β‘ x β β 5 1 + 5 x 3 + 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}. x β β lim β x 3 β 1 + x 3 5 β β + 1 x 3 5 β β β = x β β lim β 1 + x 3 5 β β + 1 5 β .
Now the remaining variable expression has a clear limit:
lim β‘ x β β 5 1 + 5 x 3 + 1 = 5 1 + 0 + 1 = 5 2 . \lim_{x\to\infty}\frac{5}{\sqrt{1+\frac{5}{x^3}}+1}
=
\frac{5}{\sqrt{1+0}+1}
=
\frac52. x β β lim β 1 + x 3 5 β β + 1 5 β = 1 + 0 β + 1 5 β = 2 5 β .
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) u = g ( x )
and g ( x ) β L g(x)\to L g ( x ) β L as x β a x\to a x β a , then
lim β‘ x β a f ( g ( x ) ) = lim β‘ u β L f ( u ) , \lim_{x\to a} f(g(x))=\lim_{u\to L}f(u), x β a lim β f ( g ( x )) = u β L lim β f ( u ) ,
as long as the new limit exists.
Warning
Be careful with expressions that approach 0 0 0 or β \infty β from only one side, because square roots, logarithms, and absolute values can change the direction of the new variable.
Example. Evaluate
lim β‘ x β 4 x + 5 β 3 x β 4 . \lim_{x\to4}\frac{\sqrt{x+5}-3}{x-4}. x β 4 lim β x β 4 x + 5 β β 3 β .
Let u = x + 5 u=\sqrt{x+5} u = x + 5 β . As x β 4 x\to4 x β 4 , u β 3 u\to3 u β 3 . Also,
u 2 = x + 5 βΉ x = u 2 β 5. u^2=x+5
\quad\Longrightarrow\quad
x=u^2-5. u 2 = x + 5 βΉ x = u 2 β 5.
So
x β 4 = u 2 β 9 = ( u β 3 ) ( u + 3 ) . x-4=u^2-9=(u-3)(u+3). x β 4 = u 2 β 9 = ( u β 3 ) ( u + 3 ) .
The limit becomes
lim β‘ u β 3 u β 3 ( u β 3 ) ( u + 3 ) = lim β‘ u β 3 1 u + 3 = 1 6 . \lim_{u\to3}\frac{u-3}{(u-3)(u+3)}
=
\lim_{u\to3}\frac{1}{u+3}
=
\frac16. u β 3 lim β ( u β 3 ) ( u + 3 ) u β 3 β = u β 3 lim β u + 3 1 β = 6 1 β .
We also study
lim β‘ x β β f ( x ) , lim β‘ x β β β f ( x ) , \lim_{x \to \infty} f(x), \qquad \lim_{x \to -\infty} f(x), x β β lim β f ( x ) , x β β β lim β f ( x ) ,
or as more commonly known as end behavior.
For rational functions:
If degree numerator < degree denominator: the limit is 0 0 0 ,
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 type Typical end behavior idea Polynomial leading term controls the sign and size Rational compare degrees after simplifying Trig sine and cosine oscillate, so many infinity limits do not exist Inverse trig often approaches a horizontal angle value
Example. Evaluate lim β‘ x β β 3 x 2 + 5 x 2 x 2 β 7 \displaystyle\lim_{x\to\infty} \frac{3x^2+5x}{2x^2-7} x β β lim β 2 x 2 β 7 3 x 2 + 5 x β and identify the horizontal asymptote.
Divide numerator and denominator by x 2 x^2 x 2 :
lim β‘ x β β 3 x 2 + 5 x 2 x 2 β 7 = lim β‘ x β β 3 + 5 / x 2 β 7 / x 2 . \lim_{x\to\infty}\frac{3x^2+5x}{2x^2-7}
=
\lim_{x\to\infty}\frac{3+5/x}{2-7/x^2}. x β β lim β 2 x 2 β 7 3 x 2 + 5 x β = x β β lim β 2 β 7/ x 2 3 + 5/ x β .
As x β β x\to\infty x β β , the terms 5 / x 5/x 5/ x and 7 / x 2 7/x^2 7/ x 2 vanish (go to 0 0 0 ), leaving the limit
3 2 . \frac{3}{2}. 2 3 β .
Therefore the horizontal asymptote is y = 3 2 y=\frac32 y = 2 3 β .
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. x β β lim β arctan x .
The function y = arctan β‘ x y=\arctan x y = arctan x asks for the angle whose tangent is x x x . As x x x becomes very large and positive, that angle approaches the vertical asymptote angle of tangent:
Ο 2 . \frac{\pi}{2}. 2 Ο β .
Therefore
lim β‘ x β β arctan β‘ x = Ο 2 . \lim_{x\to\infty}\arctan x=\frac{\pi}{2}. x β β lim β arctan x = 2 Ο β .
Similarly,
lim β‘ x β β β arctan β‘ x = β Ο 2 . \lim_{x\to-\infty}\arctan x=-\frac{\pi}{2}. x β β β lim β arctan x = β 2 Ο β .
Example. Evaluate
lim β‘ x β β 9 x 2 + 4 x β 2 x x + 1 . \lim_{x\to\infty}\frac{\sqrt{9x^2+4x}-2x}{x+1}. x β β lim β x + 1 9 x 2 + 4 x β β 2 x β .
At infinity, factor x 2 x^2 x 2 inside the square root:
lim β‘ x β β 9 x 2 + 4 x = lim β‘ x β β x 2 ( 9 + 4 x ) = lim β‘ x β β β£ x β£ 9 + 4 x . \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}. x β β lim β 9 x 2 + 4 x β = x β β lim β x 2 ( 9 + x 4 β ) β = x β β lim β β£ x β£ 9 + x 4 β β .
Since x β β x\to\infty x β β , x > 0 x>0 x > 0 eventually, so β£ x β£ = x \lvert x\rvert=x β£ x β£ = x . Then
lim β‘ x β β 9 x 2 + 4 x β 2 x x + 1 = lim β‘ x β β x 9 + 4 x β 2 x x + 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}. x β β lim β x + 1 9 x 2 + 4 x β β 2 x β = x β β lim β x + 1 x 9 + x 4 β β β 2 x β .
Factor x x x from the numerator and denominator:
lim β‘ x β β x ( 9 + 4 x β 2 ) x ( 1 + 1 x ) = lim β‘ x β β 9 + 4 x β 2 1 + 1 x . \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}. x β β lim β x ( 1 + x 1 β ) x ( 9 + x 4 β β β 2 ) β = x β β lim β 1 + x 1 β 9 + x 4 β β β 2 β .
Now take the limit:
9 + 0 β 2 1 + 0 = 1. \frac{\sqrt{9+0}-2}{1+0}
=
1. 1 + 0 9 + 0 β β 2 β = 1.
Therefore,
lim β‘ x β β 9 x 2 + 4 x β 2 x x + 1 = 1. \lim_{x\to\infty}\frac{\sqrt{9x^2+4x}-2x}{x+1}=1. x β β lim β x + 1 9 x 2 + 4 x β β 2 x β = 1.
Definition : A function is said to be continuous at x = a x = a x = a when:
f ( a ) f(a) f ( a ) exists,
lim β‘ x β a f ( x ) \lim_{x \to a} f(x) lim x β a β f ( x ) exists,
lim β‘ x β a f ( x ) = f ( a ) . \lim_{x \to a} f(x) = f(a). lim x β 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 β a f ( x ) \lim_{x \to a} f(x) lim x β a β f ( x ) exists, but lim β‘ x β a f ( x ) β f ( a ) . \lim_{x \to a} f(x) \ne f(a). lim x β a β f ( x ) ξ = 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 ) = { x 2 β 9 x β 3 , x < 3 , 7 , x = 3 , 2 x + 1 , 3 < x < 5 , 20 , x = 5 , 1 x β 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} f ( x ) = β© β¨ β§ β x β 3 x 2 β 9 β , 7 , 2 x + 1 , 20 , x β 6 1 β , β x < 3 , x = 3 , 3 < x < 5 , x = 5 , x > 5. β
Justify each case.
At x = 3 x=3 x = 3 , the left-hand branch simplifies for x β 3 x\ne3 x ξ = 3 :
x 2 β 9 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. x β 3 x 2 β 9 β = x β 3 ( x β 3 ) ( x + 3 ) β = x + 3.
So
lim β‘ x β 3 β f ( x ) = 6. \lim_{x\to3^-}f(x)=6. x β 3 β lim β f ( x ) = 6.
The right-hand limit comes from 2 x + 1 2x+1 2 x + 1 :
lim β‘ x β 3 + f ( x ) = 7. \lim_{x\to3^+}f(x)=7. x β 3 + lim β f ( x ) = 7.
Since the one-sided limits differ, x = 3 x=3 x = 3 is a jump discontinuity. The fact that f ( 3 ) = 7 f(3)=7 f ( 3 ) = 7 does not fix the jump.
At x = 5 x=5 x = 5 ,
lim β‘ x β 5 β f ( x ) = 2 ( 5 ) + 1 = 11. \lim_{x\to5^-}f(x)=2(5)+1=11. x β 5 β lim β f ( x ) = 2 ( 5 ) + 1 = 11.
For the right-hand side, use the branch 1 / ( x β 6 ) 1/(x-6) 1/ ( x β 6 ) :
lim β‘ x β 5 + f ( x ) = 1 5 β 6 = β 1. \lim_{x\to5^+}f(x)=\frac{1}{5-6}=-1. x β 5 + lim β f ( x ) = 5 β 6 1 β = β 1.
The one-sided limits differ, so x = 5 x=5 x = 5 is also a jump discontinuity. The value f ( 5 ) = 20 f(5)=20 f ( 5 ) = 20 is just the actual point value.
At x = 6 x=6 x = 6 , the branch 1 / ( x β 6 ) 1/(x-6) 1/ ( x β 6 ) has a vertical asymptote. Since
lim β‘ x β 6 β 1 x β 6 = β β and lim β‘ x β 6 + 1 x β 6 = β , \lim_{x\to6^-}\frac{1}{x-6}=-\infty
\qquad\text{and}\qquad
\lim_{x\to6^+}\frac{1}{x-6}=\infty, x β 6 β lim β x β 6 1 β = β β and x β 6 + lim β x β 6 1 β = β ,
there is an infinite discontinuity at x = 6 x=6 x = 6 .
Therefore the discontinuities are x = 3 x=3 x = 3 , x = 5 x=5 x = 5 , and x = 6 x=6 x = 6 .
Theorem (Continuity of algebraic combinations). If f f f and g g g are continuous at x = a x=a x = a , then the following functions are also continuous at x = a x=a x = a :
f + g f+g f + g ,
f β g f-g f β g ,
f g fg f g ,
c f cf c f for any constant c c c ,
f g \dfrac{f}{g} g f β , as long as g ( a ) β 0 g(a)\ne0 g ( a ) ξ = 0 .
We will prove one example below, as all of them are very similar.
Proof (Product of continuous functions). Suppose f f f and g g g are continuous at x = a x=a x = a . Then
lim β‘ x β a f ( x ) = f ( a ) and lim β‘ x β a g ( x ) = g ( a ) . \lim_{x\to a}f(x)=f(a)
\qquad\text{and}\qquad
\lim_{x\to a}g(x)=g(a). x β a lim β f ( x ) = f ( a ) and x β a lim β g ( x ) = g ( a ) .
Using the product rule for limits,
lim β‘ x β a f ( x ) g ( x ) = ( lim β‘ x β a f ( x ) ) ( lim β‘ x β a g ( 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). x β a lim β f ( x ) g ( x ) = ( x β a lim β f ( x ) ) ( x β a lim β g ( x ) ) .
So
lim β‘ x β a f ( x ) g ( x ) = f ( a ) g ( a ) . \lim_{x\to a}f(x)g(x)=f(a)g(a). x β a lim β f ( x ) g ( x ) = f ( a ) g ( a ) .
But f ( a ) g ( a ) f(a)g(a) f ( a ) g ( a ) is exactly the value of the product function at a a a . Therefore f g fg f g is continuous at x = a x=a x = a .
Note
Note
Polynomials, exponential functions, sine, cosine, and rational functions on their domains are continuous everywhere. Root functions, logarithms, tangent, secant, cosecant, cotangent, and inverse trig functions are continuous wherever they are defined (basically excluding asymptotes).
Theorem (Taking out limits). If
lim β‘ x β a g ( x ) = L \lim_{x\to a}g(x)=L x β a lim β g ( x ) = L
and f f f is continuous at L L L , then
lim β‘ x β a f ( g ( x ) ) = f ( lim β‘ x β a g ( x ) ) = f ( L ) . \lim_{x\to a}f(g(x))
=
f\left(\lim_{x\to a}g(x)\right)
=
f(L). x β a lim β f ( g ( x )) = f ( x β a lim β g ( x ) ) = f ( L ) .
In words, you can move the limit inside f f f only when the outside function is continuous at the value the inside expression approaches.
Proof (Taking out limits). Since lim β‘ x β a g ( x ) = L \lim_{x\to a}g(x)=L lim x β a β g ( x ) = L , the expression g ( x ) g(x) g ( x ) gets as close to L L L as we want when x x x is close enough to a a a . Since f f f is continuous at L L L , making the input to f f f close to L L L forces the output of f f f close to f ( L ) f(L) f ( L ) .
So as x β a x\to a x β a , the input g ( x ) g(x) g ( x ) approaches L L L , and then the output f ( g ( x ) ) f(g(x)) f ( g ( x )) approaches f ( L ) f(L) f ( L ) . Therefore,
lim β‘ x β a f ( g ( x ) ) = f ( L ) . \lim_{x\to a}f(g(x))=f(L). x β a lim β f ( g ( x )) = f ( L ) .
Example. Determine where
h ( x ) = x + 1 x β 2 h(x)=\sqrt{\frac{x+1}{x-2}} h ( x ) = x β 2 x + 1 β β
is continuous.
The inside rational expression is continuous wherever x β 2 x\ne2 x ξ = 2 . The square root is continuous when its input is nonnegative, so we need
x + 1 x β 2 β₯ 0. \frac{x+1}{x-2}\ge0. x β 2 x + 1 β β₯ 0.
The critical values are x = β 1 x=-1 x = β 1 and x = 2 x=2 x = 2 . A sign chart gives
x + 1 x β 2 β₯ 0 on ( β β , β 1 ] βͺ ( 2 , β ) . \frac{x+1}{x-2}\ge0
\quad\text{on}\quad
(-\infty,-1]\cup(2,\infty). x β 2 x + 1 β β₯ 0 on ( β β , β 1 ] βͺ ( 2 , β ) .
Therefore h h h is continuous on
( β β , β 1 ] βͺ ( 2 , β ) . (-\infty,-1]\cup(2,\infty). ( β β , β 1 ] βͺ ( 2 , β ) .
Example. Let
f ( u ) = { u + 2 , u < 2 , 5 , u = 2 , u 2 β 1 , u > 2 , f(u)=
\begin{cases}
u+2, & u<2,\\
5, & u=2,\\
u^2-1, & u>2,
\end{cases} f ( u ) = β© β¨ β§ β u + 2 , 5 , u 2 β 1 , β u < 2 , u = 2 , u > 2 , β
and
g ( x ) = { 1 + x 2 sin β‘ ( 1 / x ) , x < 0 , 1 , x = 0 , 1 + x 2 , 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} g ( x ) = β© β¨ β§ β 1 + x 2 sin ( 1/ x ) , 1 , 1 + x 2 , x , β x < 0 , x = 0 , 0 < x < 1 , x β₯ 1. β
Determine whether h ( x ) = f ( g ( x ) ) h(x)=f(g(x)) h ( x ) = f ( g ( x )) is continuous at x = 0 x=0 x = 0 and x = 2 x=2 x = 2 . Justify both answers.
At x = 0 x=0 x = 0 , the inside function approaches 1 1 1 from both sides:
lim β‘ x β 0 β g ( x ) = lim β‘ x β 0 β ( 1 + x 2 sin β‘ ( 1 / x ) ) = 1 \lim_{x\to0^-}g(x)
=
\lim_{x\to0^-}\left(1+x^2\sin(1/x)\right)
=
1 x β 0 β lim β g ( x ) = x β 0 β lim β ( 1 + x 2 sin ( 1/ x ) ) = 1
by the Squeeze Theorem, and
lim β‘ x β 0 + g ( x ) = lim β‘ x β 0 + ( 1 + x 2 ) = 1. \lim_{x\to0^+}g(x)
=
\lim_{x\to0^+}(1+x^2)
=
1. x β 0 + lim β g ( x ) = x β 0 + lim β ( 1 + x 2 ) = 1.
Also g ( 0 ) = 1 g(0)=1 g ( 0 ) = 1 . Since f ( u ) = u + 2 f(u)=u+2 f ( u ) = u + 2 near u = 1 u=1 u = 1 , f f f is continuous at 1 1 1 . Therefore
lim β‘ x β 0 h ( x ) = lim β‘ x β 0 f ( g ( x ) ) = f ( 1 ) = h ( 0 ) . \lim_{x\to0}h(x)
=
\lim_{x\to0}f(g(x))
=
f(1)
=
h(0). x β 0 lim β h ( x ) = x β 0 lim β f ( g ( x )) = f ( 1 ) = h ( 0 ) .
So h h h is continuous at x = 0 x=0 x = 0 .
At x = 2 x=2 x = 2 , the inside function is simply g ( x ) = x g(x)=x g ( x ) = x near 2 2 2 , so g ( x ) β 2 g(x)\to2 g ( x ) β 2 and g ( 2 ) = 2 g(2)=2 g ( 2 ) = 2 . But f f f is not continuous at u = 2 u=2 u = 2 :
lim β‘ u β 2 β f ( u ) = 4 and lim β‘ u β 2 + f ( u ) = 3 , \lim_{u\to2^-}f(u)=4
\qquad\text{and}\qquad
\lim_{u\to2^+}f(u)=3, u β 2 β lim β f ( u ) = 4 and u β 2 + lim β f ( u ) = 3 ,
while f ( 2 ) = 5 f(2)=5 f ( 2 ) = 5 . This discontinuity gets passed through the composite:
lim β‘ x β 2 β h ( x ) = 4 and lim β‘ x β 2 + h ( x ) = 3. \lim_{x\to2^-}h(x)=4
\qquad\text{and}\qquad
\lim_{x\to2^+}h(x)=3. x β 2 β lim β h ( x ) = 4 and x β 2 + lim β h ( x ) = 3.
So h h h is not continuous at x = 2 x=2 x = 2 .
Theorem (Squeeze Theorem). If g ( x ) β€ f ( x ) β€ h ( x ) g(x) \le f(x) \le h(x) g ( x ) β€ f ( x ) β€ h ( x ) for all x x x near a a a , and
lim β‘ x β a g ( x ) = lim β‘ x β a h ( x ) = L , \lim_{x \to a} g(x) = \lim_{x \to a} h(x) = L, x β a lim β g ( x ) = x β a lim β h ( x ) = L ,
then
lim β‘ x β a f ( x ) = L . \lim_{x \to a} f(x) = L. x β a lim β f ( x ) = L .
Proof (Squeeze Theorem). If g ( x ) β€ f ( x ) β€ h ( x ) g(x) \le f(x) \le h(x) g ( x ) β€ f ( x ) β€ h ( x ) and both outside functions are forced close to L L L , then f ( x ) f(x) f ( x ) has nowhere else to go. For inputs close enough to a a a , both g ( x ) g(x) g ( x ) and h ( x ) h(x) h ( x ) lie inside a tiny band around L L L . Since f ( x ) f(x) f ( x ) is trapped between them, it must lie inside the same band.
Example. Show that lim β‘ x β 0 x sin β‘ 1 x = 0. \displaystyle\lim_{x\to0}x\sin\frac{1}{x}=0. x β 0 lim β x sin x 1 β = 0.
The sine factor is bounded by β 1 β€ sin β‘ 1 x β€ 1 -1\le\sin\frac{1}{x}\le1 β 1 β€ sin x 1 β β€ 1 for all nonzero x x x . Multiply through by β£ x β£ \lvert x\rvert β£ x β£ to obtain
β β£ x β£ β€ x sin β‘ 1 x β€ β£ x β£ . -\lvert x\rvert \le x\sin\frac{1}{x} \le \lvert x\rvert. β β£ x β£ β€ x sin x 1 β β€ β£ x β£ .
Since both outer bounds tend to 0 0 0 as x β 0 x\to0 x β 0 , the Squeeze Theorem gives
lim β‘ x β 0 x sin β‘ 1 x = 0. \lim_{x\to0}x\sin\frac{1}{x}=0. x β 0 lim β x sin x 1 β = 0.
Two key trig limits that appear often are:
lim β‘ x β 0 sin β‘ x x = 1 , \lim_{x \to 0} \frac{\sin x}{x} = 1, x β 0 lim β x sin x β = 1 ,
lim β‘ x β 0 tan β‘ x x = 1. \lim_{x \to 0} \frac{\tan x}{x} = 1. x β 0 lim β x tan 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 cos x in the numerator. Since cos β‘ x β 1 \cos x\to1 cos x β 1 while x β 0 x\to0 x β 0 , the quotient cos β‘ x x \frac{\cos x}{x} x c o s x β becomes unbounded. The two-sided limit does not exist.
Conditions
These two trig limits are valid only when the angle is measured in radians . As an exercise, you can try to derive the corresponding versions when x x x is in degrees.
Proof (The limit of sine over angle). For 0 < x < Ο 2 0<x<\frac{\pi}{2} 0 < x < 2 Ο β , compare three areas in the unit circle: the inner triangle, the circular sector, and the outer tangent triangle.
x y ( cos x; sin x ) x 1 tan x
For this picture, the inner triangle has area 1 2 sin β‘ x cos β‘ x \frac12\sin x\cos x 2 1 β sin x cos x , the sector has area 1 2 x \frac12x 2 1 β x , and the outer triangle has area 1 2 tan β‘ x \frac12\tan x 2 1 β tan x . Therefore,
1 2 sin β‘ x cos β‘ x β€ 1 2 x β€ 1 2 tan β‘ x . \frac12\sin x\cos x
\le
\frac12x
\le
\frac12\tan x. 2 1 β sin x cos x β€ 2 1 β x β€ 2 1 β tan x .
Multiply by 2 2 2 :
sin β‘ x cos β‘ x β€ x β€ tan β‘ x . \sin x\cos x\le x\le\tan x. sin x cos x β€ x β€ tan x .
Since tan β‘ x = sin β‘ x cos β‘ x \tan x=\frac{\sin x}{\cos x} tan x = c o s x s i n x β and all quantities are positive on 0 < x < Ο 2 0<x<\frac{\pi}{2} 0 < x < 2 Ο β , divide by sin β‘ x \sin x sin x :
cos β‘ x β€ x sin β‘ x β€ 1 cos β‘ x . \cos x\le\frac{x}{\sin x}\le\frac{1}{\cos x}. cos x β€ sin x x β β€ cos x 1 β .
Taking reciprocals reverses the useful form:
cos β‘ x β€ sin β‘ x x β€ 1. \cos x\le\frac{\sin x}{x}\le1. cos x β€ x sin x β β€ 1.
As x β 0 + x\to0^+ x β 0 + , both outer expressions approach 1 1 1 , so the Squeeze Theorem gives
lim β‘ x β 0 + sin β‘ x x = 1. \lim_{x\to0^+}\frac{\sin x}{x}=1. x β 0 + lim β x sin x β = 1.
Since sin β‘ x / x \sin x/x sin x / x is an even function, the left-hand limit is also 1 1 1 . Therefore,
lim β‘ x β 0 sin β‘ x x = 1. \lim_{x\to0}\frac{\sin x}{x}=1. x β 0 lim β x sin x β = 1.
Using this result, we have
lim β‘ x β 0 tan β‘ x x = lim β‘ x β 0 sin β‘ x x cos β‘ x = lim β‘ x β 0 sin β‘ x x β
lim β‘ x β 0 1 cos β‘ 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 x β 0 lim β x tan x β = x β 0 lim β x cos x sin x β = x β 0 lim β x sin x β β
x β 0 lim β cos x 1 β = 1 β
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 β‘ u u \frac{\sin u}{u} u sin u β
where u β 0 u\to0 u β 0 (or the equivalent tangent version) and then cancel it out of the equation. In fact, lim β‘ x β 0 sin β‘ u u \lim_{x\to0}\frac{\sin u}{u} lim x β 0 β u s i n u β is often referred to as the βsaviorβ limit since with almost all indeterminate trig limits, sin β‘ x x \frac{\sin x}{x} x s i n x β shows up and can get cancelled. Note that lim β‘ x β 0 u sin β‘ u \lim_{x\to0}\frac{u}{\sin u} lim x β 0 β s i n u u β is equivalent to the savior limit (since the reciprocal of 1 1 1 is 1 1 1 .)
Example. Evaluate
lim β‘ x β 0 1 β cos β‘ ( 2 x ) x 2 . \lim_{x\to0}\frac{1-\cos(2x)}{x^2}. x β 0 lim β x 2 1 β cos ( 2 x ) β .
Use the identity
1 β cos β‘ ( 2 x ) = 2 sin β‘ 2 x . 1-\cos(2x)=2\sin^2 x. 1 β cos ( 2 x ) = 2 sin 2 x .
Then
lim β‘ x β 0 1 β cos β‘ ( 2 x ) x 2 = lim β‘ x β 0 2 sin β‘ 2 x x 2 = lim β‘ x β 0 2 ( sin β‘ x x ) 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. x β 0 lim β x 2 1 β cos ( 2 x ) β = x β 0 lim β x 2 2 sin 2 x β = x β 0 lim β 2 ( x sin x β ) 2 .
As x β 0 x\to0 x β 0 , sin β‘ x x β 1 \frac{\sin x}{x}\to1 x s i n x β β 1 , so
lim β‘ x β 0 1 β cos β‘ ( 2 x ) x 2 = 2. \lim_{x\to0}\frac{1-\cos(2x)}{x^2}=2. x β 0 lim β x 2 1 β cos ( 2 x ) β = 2.
Example. Evaluate
lim β‘ x β 0 1 β cos β‘ ( 3 x ) cos β‘ 2 ( 5 x ) β 1 . \lim_{x\to0}\frac{1-\cos(3x)}{\cos^2(5x)-1}. x β 0 lim β cos 2 ( 5 x ) β 1 1 β cos ( 3 x ) β .
Use the identities
1 β cos β‘ ( 3 x ) = 2 sin β‘ 2 ( 3 x 2 ) 1-\cos(3x)=2\sin^2\left(\frac{3x}{2}\right) 1 β cos ( 3 x ) = 2 sin 2 ( 2 3 x β )
and
cos β‘ 2 ( 5 x ) β 1 = β sin β‘ 2 ( 5 x ) . \cos^2(5x)-1=-\sin^2(5x). cos 2 ( 5 x ) β 1 = β sin 2 ( 5 x ) .
Then
lim β‘ x β 0 1 β cos β‘ ( 3 x ) cos β‘ 2 ( 5 x ) β 1 = lim β‘ x β 0 2 sin β‘ 2 ( 3 x 2 ) β sin β‘ 2 ( 5 x ) . \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)}. x β 0 lim β cos 2 ( 5 x ) β 1 1 β cos ( 3 x ) β = x β 0 lim β β sin 2 ( 5 x ) 2 sin 2 ( 2 3 x β ) β .
Rewrite the sine factors so each has the form sin β‘ u / u \sin u/u sin u / u :
lim β‘ x β 0 β 2 ( sin β‘ ( 3 x 2 ) 3 x 2 ) 2 ( 3 x 2 5 x ) 2 ( 5 x sin β‘ ( 5 x ) ) 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. x β 0 lim β β 2 ( 2 3 x β sin ( 2 3 x β ) β ) 2 ( 5 x 2 3 x β β ) 2 ( sin ( 5 x ) 5 x β ) 2 .
The two standard-limit factors approach 1 1 1 , so the limit is
β 2 ( 3 10 ) 2 = β 9 50 . -2\left(\frac{3}{10}\right)^2
=
-\frac{9}{50}. β 2 ( 10 3 β ) 2 = β 50 9 β .
Example. Evaluate
lim β‘ x β 0 + sin β‘ ( 1 / x ) 1 / x . \lim_{x\to0^+}\frac{\sin(1/x)}{1/x}. x β 0 + lim β 1/ x sin ( 1/ x ) β .
Let u = 1 x u=\frac{1}{x} u = x 1 β . As x β 0 + x\to0^+ x β 0 + , u β β u\to\infty u β β , so the limit becomes
lim β‘ u β β sin β‘ u u . \lim_{u\to\infty}\frac{\sin u}{u}. u β β lim β u sin u β .
The numerator oscillates between β 1 -1 β 1 and 1 1 1 , while the denominator grows without bound. Since
β 1 u β€ sin β‘ u u β€ 1 u -\frac{1}{u}\le\frac{\sin u}{u}\le\frac{1}{u} β u 1 β β€ u sin u β β€ u 1 β
for u > 0 u>0 u > 0 , and both outer bounds approach 0 0 0 as u β β u\to\infty u β β , the Squeeze Theorem gives
lim β‘ u β β sin β‘ u u = 0. \lim_{u\to\infty}\frac{\sin u}{u}=0. u β β lim β u sin u β = 0.
Therefore,
lim β‘ x β 0 + sin β‘ ( 1 / x ) 1 / x = 0. \lim_{x\to0^+}\frac{\sin(1/x)}{1/x}=0. x β 0 + lim β 1/ x sin ( 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 β a f ( x ) = L \lim_{x\to a}f(x)=L x β a lim β f ( x ) = L
means that every small output tolerance around L L L can be guaranteed by choosing a sufficiently small input window around a a a , excluding x = a x=a x = a itself.
In symbols, for every Ξ΅ > 0 \varepsilon>0 Ξ΅ > 0 , there is a Ξ΄ > 0 \delta>0 Ξ΄ > 0 such that
0 < β£ x β a β£ < Ξ΄ βΉ β£ f ( x ) β L β£ < Ξ΅ . 0<\lvert x-a\rvert<\delta
\quad\Longrightarrow\quad
\lvert f(x)-L\rvert<\varepsilon. 0 < β£ x β a β£ < Ξ΄ βΉ β£ f ( x ) β L β£ < Ξ΅ .
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 L L L , but an epsilon-delta proof says that every possible tolerance can be handled.
Problem-solving strategy
Start with β£ f ( x ) β L β£ < Ξ΅ \lvert f(x)-L\rvert<\varepsilon β£ f ( x ) β L β£ < Ξ΅ .
Rewrite it until it is controlled by β£ x β a β£ \lvert x-a\rvert β£ x β a β£ .
Choose Ξ΄ \delta Ξ΄ small enough to force the desired inequality.
Finish by showing that 0 < β£ x β a β£ < Ξ΄ 0<\lvert x-a\rvert<\delta 0 < β£ x β a β£ < Ξ΄ implies β£ f ( x ) β L β£ < Ξ΅ \lvert f(x)-L\rvert<\varepsilon β£ f ( x ) β L β£ < Ξ΅ .
Example. Use the epsilon definition to prove
lim β‘ x β 3 ( 2 x + 1 ) = 7. \lim_{x\to 3}(2x+1)=7. x β 3 lim β ( 2 x + 1 ) = 7.
We want to make β£ ( 2 x + 1 ) β 7 β£ < Ξ΅ \lvert (2x+1)-7\rvert<\varepsilon β£( 2 x + 1 ) β 7 β£ < Ξ΅ . Simplify the expression:
β£ ( 2 x + 1 ) β 7 β£ = β£ 2 x β 6 β£ = 2 β£ x β 3 β£ . \lvert (2x+1)-7\rvert=\lvert 2x-6\rvert=2\lvert x-3\rvert. β£( 2 x + 1 ) β 7 β£ = β£ 2 x β 6 β£ = 2 β£ x β 3 β£ .
So it is enough to require
2 β£ x β 3 β£ < Ξ΅ , 2\lvert x-3\rvert<\varepsilon, 2 β£ x β 3 β£ < Ξ΅ ,
which is the same as
β£ x β 3 β£ < Ξ΅ 2 . \lvert x-3\rvert<\frac{\varepsilon}{2}. β£ x β 3 β£ < 2 Ξ΅ β .
Choose
Ξ΄ = Ξ΅ 2 . \delta=\frac{\varepsilon}{2}. Ξ΄ = 2 Ξ΅ β .
Then whenever 0 < β£ x β 3 β£ < Ξ΄ 0<\lvert x-3\rvert<\delta 0 < β£ x β 3 β£ < Ξ΄ , we have
β£ ( 2 x + 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. β£( 2 x + 1 ) β 7 β£ = 2 β£ x β 3 β£ < 2 Ξ΄ = 2 β
2 Ξ΅ β = Ξ΅ .
Therefore, by the formal definition,
lim β‘ x β 3 ( 2 x + 1 ) = 7. \lim_{x\to3}(2x+1)=7. x β 3 lim β ( 2 x + 1 ) = 7.
Theorem (Intermediate Value Theorem). If f f f is continuous on [ a , b ] [a,b] [ a , b ] and N N N lies between f ( a ) f(a) f ( a ) and f ( b ) f(b) f ( b ) , then there exists some c β ( a , b ) c \in (a,b) c β ( a , b ) such that f ( c ) = N f(c) = N f ( c ) = N .
Proof (IVT). Assume f ( a ) < N < f ( b ) f(a)<N<f(b) f ( a ) < N < f ( b ) . Define
g ( x ) = f ( x ) β N . g(x)=f(x)-N. g ( x ) = f ( x ) β N .
Then g g g is continuous on [ a , b ] [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. g ( a ) = f ( a ) β N < 0 , g ( b ) = f ( b ) β N > 0.
Let
S = { x β [ a , b ] β£ g ( x ) < 0 } . S=\{x\in[a,b]\mid g(x)<0\}. S = { x β [ a , b ] β£ g ( x ) < 0 } .
The set S S S is nonempty because a β S a\in S a β S , and it is bounded above by b b b . Let c = sup β‘ S c=\sup S c = sup S . Since g g g is continuous, g ( c ) g(c) g ( c ) cannot be negative or positive. If g ( c ) < 0 g(c)<0 g ( c ) < 0 , then values slightly to the right of c c c would still be negative, contradicting that c c c is the least upper bound. If g ( c ) > 0 g(c)>0 g ( c ) > 0 , then values slightly to the left of c c c would be positive, contradicting the fact that points of S S S can get arbitrarily close to c c c from the left.
Therefore,
g ( c ) = 0. g(c)=0. g ( c ) = 0.
So
f ( c ) β N = 0 βΉ f ( c ) = N . f(c)-N=0
\quad\Longrightarrow\quad
f(c)=N. f ( c ) β N = 0 βΉ f ( c ) = N .
The case f ( b ) < N < f ( a ) f(b)<N<f(a) f ( b ) < N < f ( a ) follows by applying the same argument to β g ( x ) -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
x 3 + x β 1 = 0 x^3+x-1=0 x 3 + x β 1 = 0
has at least one solution on the interval [ 0 , 1 ] [0,1] [ 0 , 1 ] .
Let
f ( x ) = x 3 + x β 1. f(x)=x^3+x-1. f ( x ) = x 3 + x β 1.
This function is a polynomial, so it is continuous on [ 0 , 1 ] [0,1] [ 0 , 1 ] . Check the endpoint values:
f ( 0 ) = 0 3 + 0 β 1 = β 1 f(0)=0^3+0-1=-1 f ( 0 ) = 0 3 + 0 β 1 = β 1
and
f ( 1 ) = 1 3 + 1 β 1 = 1. f(1)=1^3+1-1=1. f ( 1 ) = 1 3 + 1 β 1 = 1.
Since 0 0 0 lies between β 1 -1 β 1 and 1 1 1 , the Intermediate Value Theorem guarantees that there is some number c β ( 0 , 1 ) c\in(0,1) c β ( 0 , 1 ) such that
f ( c ) = 0. f(c)=0. f ( c ) = 0.
That means
c 3 + c β 1 = 0. c^3+c-1=0. c 3 + c β 1 = 0.
So the equation has at least one solution between 0 0 0 and 1 1 1 . Notice that IVT proves the solution exists, but it does not tell us the exact value of c c c .
Limit questions are often about deciding which tool is allowed before doing any algebra.
Working checklist
Try direct substitution first.
If substitution gives a finite value, the limit is usually finished.
If substitution gives 0 / 0 0/0 0/0 , try factoring, conjugates, common denominators, or trig-limit rewrites.
If one-sided limits disagree, the two-sided limit does not exist.
For continuity, check the value, the two-sided limit, and whether they match.
On the exam Limit justification
When a question asks you to justify existence, say why both sides approach the same value (both one-sided limits exist and agree). When a limit does not exist, name the reason: different one-sided limits, unbounded behavior (asymptote), or oscillation.
Suppose f f f 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. u β 2 β lim β f ( u ) = β 1 , u β 2 + lim β f ( u ) = 3 , f ( 2 ) = 5.
Let g ( x ) = 2 + x β£ x β£ g(x)=2+x\lvert x\rvert g ( x ) = 2 + x β£ x β£ .
( A ) (A) ( A ) Find lim β‘ x β 0 β f ( g ( x ) ) \displaystyle\lim_{x\to0^-}f(g(x)) x β 0 β lim β f ( g ( x )) and lim β‘ x β 0 + f ( g ( x ) ) \displaystyle\lim_{x\to0^+}f(g(x)) x β 0 + lim β f ( g ( x )) .
( B ) (B) ( B ) Determine whether lim β‘ x β 0 f ( g ( x ) ) \displaystyle\lim_{x\to0}f(g(x)) x β 0 lim β f ( g ( x )) exists. Justify your answer by describing the direction from which g ( x ) g(x) g ( x ) approaches 2 2 2 on each side of x = 0 x=0 x = 0 .
For x < 0 x<0 x < 0 , β£ x β£ = β x \lvert x\rvert=-x β£ x β£ = β x , so
g ( x ) = 2 β x 2 < 2. g(x)=2-x^2<2. g ( x ) = 2 β x 2 < 2. Therefore, as x β 0 β x\to0^- x β 0 β , the input g ( x ) g(x) g ( x ) approaches 2 2 2 from the left. It follows that
lim β‘ x β 0 β f ( g ( x ) ) = lim β‘ u β 2 β f ( u ) = β 1. \lim_{x\to0^-}f(g(x))
=
\lim_{u\to2^-}f(u)
=-1. x β 0 β lim β f ( g ( x )) = u β 2 β lim β f ( u ) = β 1. For x > 0 x>0 x > 0 , β£ x β£ = x \lvert x\rvert=x β£ x β£ = x , so
g ( x ) = 2 + x 2 > 2. g(x)=2+x^2>2. g ( x ) = 2 + x 2 > 2. Thus g ( x ) β 2 + g(x)\to2^+ g ( x ) β 2 + as x β 0 + x\to0^+ x β 0 + , giving
lim β‘ x β 0 + f ( g ( x ) ) = lim β‘ u β 2 + f ( u ) = 3. \lim_{x\to0^+}f(g(x))
=
\lim_{u\to2^+}f(u)
=3. x β 0 + lim β f ( g ( x )) = u β 2 + lim β f ( u ) = 3. The two one-sided limits are different, so the two-sided limit does not exist. The value f ( 2 ) = 5 f(2)=5 f ( 2 ) = 5 does not affect this conclusion.
lim β‘ x β 0 β f ( g ( x ) ) = β 1 , lim β‘ x β 0 + f ( g ( x ) ) = 3 , lim β‘ x β 0 f ( g ( x ) ) Β doesΒ notΒ exist . \boxed{\lim_{x\to0^-}f(g(x))=-1,
\qquad
\lim_{x\to0^+}f(g(x))=3,
\qquad
\lim_{x\to0}f(g(x))\text{ does not exist}.} x β 0 β lim β f ( g ( x )) = β 1 , x β 0 + lim β f ( g ( x )) = 3 , x β 0 lim β f ( g ( x )) Β doesΒ notΒ exist . β
Evaluate
lim β‘ x β 1 ( x 4 β 1 x 3 β 1 ) ( x + 3 β 2 x β 1 ) . \lim_{x\to1}
\left(\frac{x^4-1}{x^3-1}\right)
\left(\frac{\sqrt{x+3}-2}{x-1}\right). x β 1 lim β ( x 3 β 1 x 4 β 1 β ) ( x β 1 x + 3 β β 2 β ) .
Show enough algebra to explain why multiplying the two indeterminate factors does not prevent the limit from existing.
Factor the polynomial expressions in the first quotient:
lim β‘ x β 1 x 4 β 1 x 3 β 1 = lim β‘ x β 1 ( x β 1 ) ( x + 1 ) ( x 2 + 1 ) ( x β 1 ) ( x 2 + x + 1 ) . \lim_{x\to1}\frac{x^4-1}{x^3-1}
=
\lim_{x\to1}
\frac{(x-1)(x+1)(x^2+1)}{(x-1)(x^2+x+1)}. x β 1 lim β x 3 β 1 x 4 β 1 β = x β 1 lim β ( x β 1 ) ( x 2 + x + 1 ) ( x β 1 ) ( x + 1 ) ( x 2 + 1 ) β . After canceling x β 1 x-1 x β 1 ,
lim β‘ x β 1 ( x + 1 ) ( x 2 + 1 ) x 2 + x + 1 = ( 2 ) ( 2 ) 3 = 4 3 . \lim_{x\to1}\frac{(x+1)(x^2+1)}{x^2+x+1}
=
\frac{(2)(2)}{3}
=
\frac43. x β 1 lim β x 2 + x + 1 ( x + 1 ) ( x 2 + 1 ) β = 3 ( 2 ) ( 2 ) β = 3 4 β . For the radical quotient, multiply by the conjugate:
lim β‘ x β 1 x + 3 β 2 x β 1 = lim β‘ x β 1 x + 3 β 4 ( x β 1 ) ( x + 3 + 2 ) . \lim_{x\to1}\frac{\sqrt{x+3}-2}{x-1}
=
\lim_{x\to1}
\frac{x+3-4}{(x-1)(\sqrt{x+3}+2)}. x β 1 lim β x β 1 x + 3 β β 2 β = x β 1 lim β ( x β 1 ) ( x + 3 β + 2 ) x + 3 β 4 β . Canceling x β 1 x-1 x β 1 gives
lim β‘ x β 1 1 x + 3 + 2 = 1 4 . \lim_{x\to1}\frac1{\sqrt{x+3}+2}
=
\frac14. x β 1 lim β x + 3 β + 2 1 β = 4 1 β . Each factor has a finite limit after simplification, so the product law applies:
lim β‘ x β 1 ( x 4 β 1 x 3 β 1 ) ( x + 3 β 2 x β 1 ) = 4 3 β
1 4 = 1 3 . \boxed{\lim_{x\to1}
\left(\frac{x^4-1}{x^3-1}\right)
\left(\frac{\sqrt{x+3}-2}{x-1}\right)
=\frac43\cdot\frac14=\frac13.} x β 1 lim β ( x 3 β 1 x 4 β 1 β ) ( x β 1 x + 3 β β 2 β ) = 3 4 β β
4 1 β = 3 1 β . β
Evaluate the limit without using LβHopitalβs Rule or a power-series expansion:
lim β‘ x β 0 sin β‘ ( 3 x ) β 3 sin β‘ x x ( 1 β cos β‘ x ) . \lim_{x\to0}
\frac{\sin(3x)-3\sin x}{x(1-\cos x)}. x β 0 lim β x ( 1 β cos x ) sin ( 3 x ) β 3 sin x β .
Your work must reduce the expression to standard trigonometric limits.
Use the triple-angle identity
sin β‘ ( 3 x ) = 3 sin β‘ x β 4 sin β‘ 3 x . \sin(3x)=3\sin x-4\sin^3x. sin ( 3 x ) = 3 sin x β 4 sin 3 x . The numerator becomes β 4 sin β‘ 3 x -4\sin^3x β 4 sin 3 x . Also,
1 β cos β‘ x = 2 sin β‘ 2 ( x 2 ) . 1-\cos x=2\sin^2\left(\frac{x}{2}\right). 1 β cos x = 2 sin 2 ( 2 x β ) . Therefore,
lim β‘ x β 0 sin β‘ ( 3 x ) β 3 sin β‘ x x ( 1 β cos β‘ x ) = lim β‘ x β 0 β 4 sin β‘ 3 x 2 x sin β‘ 2 ( x / 2 ) . \lim_{x\to0}\frac{\sin(3x)-3\sin x}{x(1-\cos x)}
=
\lim_{x\to0}
\frac{-4\sin^3x}{2x\sin^2(x/2)}. x β 0 lim β x ( 1 β cos x ) sin ( 3 x ) β 3 sin x β = x β 0 lim β 2 x sin 2 ( x /2 ) β 4 sin 3 x β . Since sin β‘ x = 2 sin β‘ ( x / 2 ) cos β‘ ( x / 2 ) \sin x=2\sin(x/2)\cos(x/2) sin x = 2 sin ( x /2 ) cos ( x /2 ) ,
lim β‘ x β 0 β 4 sin β‘ 3 x 2 x sin β‘ 2 ( x / 2 ) = lim β‘ x β 0 β 8 ( sin β‘ x x ) cos β‘ 2 ( x 2 ) . \lim_{x\to0}
\frac{-4\sin^3x}{2x\sin^2(x/2)}
=
\lim_{x\to0}
-8\left(\frac{\sin x}{x}\right)\cos^2\left(\frac{x}{2}\right). x β 0 lim β 2 x sin 2 ( x /2 ) β 4 sin 3 x β = x β 0 lim β β 8 ( x sin x β ) cos 2 ( 2 x β ) . Both remaining factors have standard limits:
lim β‘ x β 0 sin β‘ ( 3 x ) β 3 sin β‘ x x ( 1 β cos β‘ x ) = β 8. \boxed{\lim_{x\to0}\frac{\sin(3x)-3\sin x}{x(1-\cos x)}=-8.} x β 0 lim β x ( 1 β cos x ) sin ( 3 x ) β 3 sin x β = β 8. β
Let β y β \lfloor y\rfloor β y β denote the greatest integer less than or equal to y y y . Determine
lim β‘ x β 0 x 2 β 1 x β . \lim_{x\to0}x^2\left\lfloor\frac1x\right\rfloor. x β 0 lim β x 2 β x 1 β β .
A table or decimal approximation is not sufficient; justify the result with inequalities and the Squeeze Theorem.
The floor function satisfies
y β 1 < β y β β€ y . y-1<\lfloor y\rfloor\le y. y β 1 < β y β β€ y . Set y = 1 / x y=1/x y = 1/ x . Since x 2 > 0 x^2>0 x 2 > 0 for x β 0 x\ne0 x ξ = 0 , multiplying through by x 2 x^2 x 2 preserves the inequalities:
x β x 2 < x 2 β 1 x β β€ x . x-x^2
<
x^2\left\lfloor\frac1x\right\rfloor
\le
x. x β x 2 < x 2 β x 1 β β β€ x . As x β 0 x\to0 x β 0 ,
lim β‘ x β 0 ( x β x 2 ) = 0 and lim β‘ x β 0 x = 0. \lim_{x\to0}(x-x^2)=0
\qquad\text{and}\qquad
\lim_{x\to0}x=0. x β 0 lim β ( x β x 2 ) = 0 and x β 0 lim β x = 0. The same bounds work for positive and negative x x x . By the Squeeze Theorem,
lim β‘ x β 0 x 2 β 1 x β = 0. \boxed{\lim_{x\to0}x^2\left\lfloor\frac1x\right\rfloor=0.} x β 0 lim β x 2 β x 1 β β = 0. β
Evaluate
lim β‘ x β β β ( 9 x 2 β 4 x + 3 x ) . \lim_{x\to-\infty}\left(\sqrt{9x^2-4x}+3x\right). x β β β lim β ( 9 x 2 β 4 x β + 3 x ) .
Explain where the sign of x x x matters when simplifying the square root.
Rationalize the expression:
lim β‘ x β β β ( 9 x 2 β 4 x + 3 x ) = lim β‘ x β β β β 4 x 9 x 2 β 4 x β 3 x . \lim_{x\to-\infty}\left(\sqrt{9x^2-4x}+3x\right)
=
\lim_{x\to-\infty}
\frac{-4x}{\sqrt{9x^2-4x}-3x}. x β β β lim β ( 9 x 2 β 4 x β + 3 x ) = x β β β lim β 9 x 2 β 4 x β β 3 x β 4 x β . Because x β β β x\to-\infty x β β β , x 2 = β£ x β£ = β x \sqrt{x^2}=\lvert x\rvert=-x x 2 β = β£ x β£ = β x . Thus
9 x 2 β 4 x = β£ x β£ 9 β 4 x = β x 9 β 4 x . \sqrt{9x^2-4x}
=
\lvert x\rvert\sqrt{9-\frac4x}
=
-x\sqrt{9-\frac4x}. 9 x 2 β 4 x β = β£ x β£ 9 β x 4 β β = β x 9 β x 4 β β . Substitute this into the denominator:
lim β‘ x β β β β 4 x β x 9 β 4 / x β 3 x = lim β‘ x β β β 4 9 β 4 / x + 3 . \lim_{x\to-\infty}
\frac{-4x}{-x\sqrt{9-4/x}-3x}
=
\lim_{x\to-\infty}
\frac4{\sqrt{9-4/x}+3}. x β β β lim β β x 9 β 4/ x β β 3 x β 4 x β = x β β β lim β 9 β 4/ x β + 3 4 β . Now the limit can be evaluated directly:
lim β‘ x β β β ( 9 x 2 β 4 x + 3 x ) = 2 3 . \boxed{\lim_{x\to-\infty}\left(\sqrt{9x^2-4x}+3x\right)=\frac23.} x β β β lim β ( 9 x 2 β 4 x β + 3 x ) = 3 2 β . β
Consider
R ( x ) = a x 2 + b x β 6 x 2 + x β 2 . R(x)=\frac{ax^2+bx-6}{x^2+x-2}. R ( x ) = x 2 + x β 2 a x 2 + b x β 6 β .
Find the values of a a a and b b b for which R R R has a removable discontinuity at x = 1 x=1 x = 1 and a horizontal asymptote at y = 2 y=2 y = 2 . Then find lim β‘ x β 1 R ( x ) \displaystyle\lim_{x\to1}R(x) x β 1 lim β R ( x ) for those values.
The degrees of the numerator and denominator are equal, so the horizontal asymptote is the ratio of leading coefficients. Requiring the asymptote to be y = 2 y=2 y = 2 gives
a = 2. a=2. a = 2. For a removable discontinuity at x = 1 x=1 x = 1 , the numerator must vanish where the denominator does:
a + b β 6 = 0. a+b-6=0. a + b β 6 = 0. Substituting a = 2 a=2 a = 2 gives b = 4 b=4 b = 4 . Then
R ( x ) = 2 x 2 + 4 x β 6 x 2 + x β 2 = 2 ( x + 3 ) ( x β 1 ) ( x + 2 ) ( x β 1 ) . R(x)
=
\frac{2x^2+4x-6}{x^2+x-2}
=
\frac{2(x+3)(x-1)}{(x+2)(x-1)}. R ( x ) = x 2 + x β 2 2 x 2 + 4 x β 6 β = ( x + 2 ) ( x β 1 ) 2 ( x + 3 ) ( x β 1 ) β . For x β 1 x\ne1 x ξ = 1 , this simplifies to
R ( x ) = 2 ( x + 3 ) x + 2 . R(x)=\frac{2(x+3)}{x+2}. R ( x ) = x + 2 2 ( x + 3 ) β . Therefore,
a = 2 , b = 4 , lim β‘ x β 1 R ( x ) = 8 3 . \boxed{a=2,
\qquad
b=4,
\qquad
\lim_{x\to1}R(x)=\frac83.} a = 2 , b = 4 , x β 1 lim β R ( x ) = 3 8 β . β
For positive constants a a a and b b b , define
f ( x ) = { sin β‘ ( a x ) x , x < 0 , 3 , x = 0 , 1 β cos β‘ ( b x ) x 2 , 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} f ( x ) = β© β¨ β§ β x sin ( a x ) β , 3 , x 2 1 β cos ( b x ) β , β x < 0 , x = 0 , x > 0. β
Find the unique values of a a a and b b b that make f f f continuous at x = 0 x=0 x = 0 . Justify both one-sided limits.
For the left-hand limit,
lim β‘ x β 0 β sin β‘ ( a x ) x = a lim β‘ x β 0 β sin β‘ ( a x ) a x = a . \lim_{x\to0^-}\frac{\sin(ax)}{x}
=
a\lim_{x\to0^-}\frac{\sin(ax)}{ax}
=a. x β 0 β lim β x sin ( a x ) β = a x β 0 β lim β a x sin ( a x ) β = a . Continuity requires this limit to equal f ( 0 ) = 3 f(0)=3 f ( 0 ) = 3 , so
a = 3. a=3. a = 3. For the right-hand limit, use 1 β cos β‘ u = 2 sin β‘ 2 ( u / 2 ) 1-\cos u=2\sin^2(u/2) 1 β cos u = 2 sin 2 ( u /2 ) :
lim β‘ x β 0 + 1 β cos β‘ ( b x ) x 2 = lim β‘ x β 0 + 2 sin β‘ 2 ( b x / 2 ) x 2 . \lim_{x\to0^+}\frac{1-\cos(bx)}{x^2}
=
\lim_{x\to0^+}
\frac{2\sin^2(bx/2)}{x^2}. x β 0 + lim β x 2 1 β cos ( b x ) β = x β 0 + lim β x 2 2 sin 2 ( b x /2 ) β . Rewrite the expression around the standard sine limit:
lim β‘ x β 0 + 2 ( sin β‘ ( b x / 2 ) b x / 2 ) 2 ( b 2 ) 2 = b 2 2 . \lim_{x\to0^+}
2\left(\frac{\sin(bx/2)}{bx/2}\right)^2
\left(\frac{b}{2}\right)^2
=
\frac{b^2}{2}. x β 0 + lim β 2 ( b x /2 sin ( b x /2 ) β ) 2 ( 2 b β ) 2 = 2 b 2 β . Set this equal to 3 3 3 :
b 2 2 = 3 βΉ b 2 = 6. \frac{b^2}{2}=3
\quad\Longrightarrow\quad
b^2=6. 2 b 2 β = 3 βΉ b 2 = 6. Since b b b is positive, b = 6 b=\sqrt6 b = 6 β . Hence
a = 3 , b = 6 . \boxed{a=3,
\qquad
b=\sqrt6.} a = 3 , b = 6 β . β
Use the formal epsilon-delta definition of a limit to prove
lim β‘ x β 3 x 2 = 9. \lim_{x\to3}x^2=9. x β 3 lim β 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 β£ x β 3 β£ is needed.
Let Ξ΅ > 0 \varepsilon>0 Ξ΅ > 0 . We need to control
β£ x 2 β 9 β£ = β£ x β 3 β£ β£ x + 3 β£ . \lvert x^2-9\rvert
=
\lvert x-3\rvert\lvert x+3\rvert. β£ x 2 β 9 β£ = β£ x β 3 β£ β£ x + 3 β£ . The factor β£ x + 3 β£ \lvert x+3\rvert β£ x + 3 β£ depends on x x x , so first require β£ x β 3 β£ < 1 \lvert x-3\rvert<1 β£ x β 3 β£ < 1 . Then
2 < x < 4 , 2<x<4, 2 < x < 4 , which implies
β£ x + 3 β£ < 7. \lvert x+3\rvert<7. β£ x + 3 β£ < 7. Choose
Ξ΄ = min β‘ { 1 , Ξ΅ 7 } . \delta=\min\left\{1,\frac{\varepsilon}{7}\right\}. Ξ΄ = min { 1 , 7 Ξ΅ β } . If 0 < β£ x β 3 β£ < Ξ΄ 0<\lvert x-3\rvert<\delta 0 < β£ x β 3 β£ < Ξ΄ , then
β£ x 2 β 9 β£ = β£ x β 3 β£ β£ x + 3 β£ < 7 β£ x β 3 β£ < 7 Ξ΄ β€ Ξ΅ . \lvert x^2-9\rvert
=
\lvert x-3\rvert\lvert x+3\rvert
<
7\lvert x-3\rvert
<
7\delta
\le
\varepsilon. β£ x 2 β 9 β£ = β£ x β 3 β£ β£ x + 3 β£ < 7 β£ x β 3 β£ < 7 Ξ΄ β€ Ξ΅ . Therefore, by the formal definition,
lim β‘ x β 3 x 2 = 9. \boxed{\lim_{x\to3}x^2=9.} x β 3 lim β x 2 = 9. β
Consider the functions
r ( x ) = 1 x β 1 and p ( x ) = x 5 + x β 1. r(x)=\frac1{x-1}
\qquad\text{and}\qquad
p(x)=x^5+x-1. r ( x ) = x β 1 1 β and p ( x ) = x 5 + x β 1.
( A ) (A) ( A ) Although r ( 0 ) < 0 < r ( 2 ) r(0)<0<r(2) r ( 0 ) < 0 < r ( 2 ) , explain why the Intermediate Value Theorem does not guarantee a zero of r r r on ( 0 , 2 ) (0,2) ( 0 , 2 ) .
( B ) (B) ( B ) Use the Intermediate Value Theorem to show that p p p has a zero in ( 0 , 1 ) (0,1) ( 0 , 1 ) .
( C ) (C) ( C ) Apply bisection repeatedly to place that zero in an interval of length at most 1 8 \frac18 8 1 β . State every interval you keep and justify each choice with a sign change.
For r ( x ) = 1 / ( x β 1 ) r(x)=1/(x-1) r ( x ) = 1/ ( x β 1 ) ,
r ( 0 ) = β 1 and r ( 2 ) = 1. r(0)=-1
\qquad\text{and}\qquad
r(2)=1. r ( 0 ) = β 1 and r ( 2 ) = 1. However, r r r is not continuous on [ 0 , 2 ] [0,2] [ 0 , 2 ] because it is undefined at x = 1 x=1 x = 1 . The Intermediate Value Theorem does not apply, and in fact 1 / ( x β 1 ) 1/(x-1) 1/ ( x β 1 ) can never equal 0 0 0 .
The function p ( x ) = x 5 + x β 1 p(x)=x^5+x-1 p ( x ) = x 5 + x β 1 is a polynomial, so it is continuous on [ 0 , 1 ] [0,1] [ 0 , 1 ] . Its endpoint values are
p ( 0 ) = β 1 and p ( 1 ) = 1. p(0)=-1
\qquad\text{and}\qquad
p(1)=1. p ( 0 ) = β 1 and p ( 1 ) = 1. Since the signs differ, IVT guarantees at least one zero in ( 0 , 1 ) (0,1) ( 0 , 1 ) .
For bisection, first test x = 1 / 2 x=1/2 x = 1/2 :
p ( 1 2 ) = 1 32 + 1 2 β 1 = β 15 32 < 0. p\left(\frac12\right)
=
\frac1{32}+\frac12-1
=
-\frac{15}{32}<0. p ( 2 1 β ) = 32 1 β + 2 1 β β 1 = β 32 15 β < 0. Keep [ 1 / 2 , 1 ] [1/2,1] [ 1/2 , 1 ] . Its midpoint is 3 / 4 3/4 3/4 :
p ( 3 4 ) = 243 1024 + 3 4 β 1 = β 13 1024 < 0. p\left(\frac34\right)
=
\frac{243}{1024}+\frac34-1
=
-\frac{13}{1024}<0. p ( 4 3 β ) = 1024 243 β + 4 3 β β 1 = β 1024 13 β < 0. Keep [ 3 / 4 , 1 ] [3/4,1] [ 3/4 , 1 ] . Its midpoint is 7 / 8 7/8 7/8 :
p ( 7 8 ) = 16807 32768 + 7 8 β 1 = 12711 32768 > 0. p\left(\frac78\right)
=
\frac{16807}{32768}+\frac78-1
=
\frac{12711}{32768}>0. p ( 8 7 β ) = 32768 16807 β + 8 7 β β 1 = 32768 12711 β > 0. The final sign change is on [ 3 / 4 , 7 / 8 ] [3/4,7/8] [ 3/4 , 7/8 ] , whose length is 1 / 8 1/8 1/8 . Thus
AΒ zeroΒ ofΒ p Β liesΒ inΒ ( 3 4 , 7 8 ) . \boxed{\text{A zero of }p\text{ lies in }\left(\frac34,\frac78\right).} AΒ zeroΒ ofΒ p Β liesΒ inΒ ( 4 3 β , 8 7 β ) . β
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) ( A ) If lim β‘ x β a [ f ( x ) ] 2 = 4 \displaystyle\lim_{x\to a}[f(x)]^2=4 x β a lim β [ f ( x ) ] 2 = 4 , then lim β‘ x β a f ( x ) \displaystyle\lim_{x\to a}f(x) x β a lim β f ( x ) exists.
( B ) (B) ( B ) If lim β‘ x β a f ( x ) = 0 \displaystyle\lim_{x\to a}f(x)=0 x β a lim β f ( x ) = 0 and g g g is bounded near a a a , then lim β‘ x β a f ( x ) g ( x ) = 0 \displaystyle\lim_{x\to a}f(x)g(x)=0 x β a lim β f ( x ) g ( x ) = 0 .
( C ) (C) ( C ) If lim β‘ x β a f ( x ) g ( x ) = 1 \displaystyle\lim_{x\to a}\frac{f(x)}{g(x)}=1 x β a lim β g ( x ) f ( x ) β = 1 and lim β‘ x β a g ( x ) = 0 \displaystyle\lim_{x\to a}g(x)=0 x β a lim β g ( x ) = 0 , then lim β‘ x β a [ f ( x ) β g ( x ) ] = 0 \displaystyle\lim_{x\to a}[f(x)-g(x)]=0 x β a lim β [ f ( x ) β g ( x )] = 0 .
Statement (A) is false. For example, define
f ( x ) = { β 2 , x < a , 2 , x β₯ a . f(x)=
\begin{cases}
-2, & x<a,\\
2, & x\ge a.
\end{cases} f ( x ) = { β 2 , 2 , β x < a , x β₯ a . β Then [ f ( x ) ] 2 = 4 [f(x)]^2=4 [ f ( x ) ] 2 = 4 for every x x x , so
lim β‘ x β a [ f ( x ) ] 2 = 4. \lim_{x\to a}[f(x)]^2=4. x β a lim β [ f ( x ) ] 2 = 4. However, the one-sided limits of f f f are β 2 -2 β 2 and 2 2 2 , so lim β‘ x β a f ( x ) \lim_{x\to a}f(x) lim x β a β f ( x ) does not exist.
Statement (B) is true. Since g g g is bounded near a a a , there is a constant M > 0 M>0 M > 0 such that β£ g ( x ) β£ β€ M \lvert g(x)\rvert\le M β£ g ( x )β£ β€ M near a a a . Then
β£ f ( x ) g ( x ) β£ β€ M β£ f ( x ) β£ . \lvert f(x)g(x)\rvert
\le
M\lvert f(x)\rvert. β£ f ( x ) g ( x )β£ β€ M β£ f ( x )β£ . Because f ( x ) β 0 f(x)\to0 f ( x ) β 0 , the right side approaches 0 0 0 . The Squeeze Theorem gives
lim β‘ x β a f ( x ) g ( x ) = 0. \lim_{x\to a}f(x)g(x)=0. x β a lim β f ( x ) g ( x ) = 0. Statement (C) is also true. Wherever the quotient is defined,
f ( x ) β g ( x ) = g ( x ) ( f ( x ) g ( x ) β 1 ) . f(x)-g(x)
=
g(x)\left(\frac{f(x)}{g(x)}-1\right). f ( x ) β g ( x ) = g ( x ) ( g ( x ) f ( x ) β β 1 ) . The first factor approaches 0 0 0 , and the second approaches 1 β 1 = 0 1-1=0 1 β 1 = 0 . Therefore,
lim β‘ x β a [ f ( x ) β g ( x ) ] = 0 β
0 = 0. \lim_{x\to a}[f(x)-g(x)]
=
0\cdot0
=0. x β a lim β [ f ( x ) β g ( x )] = 0 β
0 = 0. (A)Β false,Β (B)Β true,Β (C)Β true . \boxed{\text{(A) false, \qquad (B) true, \qquad (C) true}.} (A)Β false,Β (B)Β true,Β (C)Β true . β
Let
h ( x ) = x + 1 x β 2 + x 2 β 9 x β 3 . h(x)=\sqrt{\frac{x+1}{x-2}}+\frac{x^2-9}{x-3}. h ( x ) = x β 2 x + 1 β β + x β 3 x 2 β 9 β .
( A ) (A) ( A ) Find the exact domain of h h h .
( B ) (B) ( B ) State every interval on which h h h is continuous.
( C ) (C) ( C ) Evaluate lim β‘ x β β 1 β h ( x ) \displaystyle\lim_{x\to-1^-}h(x) x β β 1 β lim β h ( x ) , lim β‘ x β 2 + h ( x ) \displaystyle\lim_{x\to2^+}h(x) x β 2 + lim β h ( x ) , and lim β‘ x β 3 h ( x ) \displaystyle\lim_{x\to3}h(x) x β 3 lim β h ( x ) , allowing infinite limits when appropriate.
( D ) (D) ( D ) Classify the behavior at x = 2 x=2 x = 2 and x = 3 x=3 x = 3 .
The square root requires
x + 1 x β 2 β₯ 0. \frac{x+1}{x-2}\ge0. x β 2 x + 1 β β₯ 0. A sign chart gives
x β ( β β , β 1 ] βͺ ( 2 , β ) . x\in(-\infty,-1]\cup(2,\infty). x β ( β β , β 1 ] βͺ ( 2 , β ) . The rational term is undefined at x = 3 x=3 x = 3 . Therefore the exact domain is
( β β , β 1 ] βͺ ( 2 , 3 ) βͺ ( 3 , β ) . (-\infty,-1]\cup(2,3)\cup(3,\infty). ( β β , β 1 ] βͺ ( 2 , 3 ) βͺ ( 3 , β ) . Both component functions are continuous wherever they are defined, so these are also the intervals on which h h h is continuous.
For the first limit, the square-root term approaches 0 0 0 and the rational term approaches 2 2 2 :
lim β‘ x β β 1 β h ( x ) = 0 + ( β 1 ) 2 β 9 β 1 β 3 = 2. \lim_{x\to-1^-}h(x)
=
0+\frac{(-1)^2-9}{-1-3}
=2. x β β 1 β lim β h ( x ) = 0 + β 1 β 3 ( β 1 ) 2 β 9 β = 2. As x β 2 + x\to2^+ x β 2 + , the radicand grows without bound positively:
lim β‘ x β 2 + x + 1 x β 2 = β . \lim_{x\to2^+}\sqrt{\frac{x+1}{x-2}}=\infty. x β 2 + lim β x β 2 x + 1 β β = β. The rational term approaches 5 5 5 , so
lim β‘ x β 2 + h ( x ) = β . \lim_{x\to2^+}h(x)=\infty. x β 2 + lim β h ( x ) = β. At x = 3 x=3 x = 3 , cancel the removable factor in the rational term:
x 2 β 9 x β 3 = x + 3 \frac{x^2-9}{x-3}=x+3 x β 3 x 2 β 9 β = x + 3 for x β 3 x\ne3 x ξ = 3 . Hence
lim β‘ x β 3 h ( x ) = 4 1 + 6 = 8. \lim_{x\to3}h(x)
=
\sqrt{\frac{4}{1}}+6
=8. x β 3 lim β h ( x ) = 1 4 β β + 6 = 8. Thus x = 2 x=2 x = 2 is an infinite discontinuity and vertical asymptote, while x = 3 x=3 x = 3 is a removable discontinuity.
Dom β‘ ( h ) = ( β β , β 1 ] βͺ ( 2 , 3 ) βͺ ( 3 , β ) , lim β‘ x β β 1 β h ( x ) = 2 , lim β‘ x β 2 + h ( x ) = β , lim β‘ x β 3 h ( x ) = 8. \boxed{\operatorname{Dom}(h)=(-\infty,-1]\cup(2,3)\cup(3,\infty),
\quad
\lim_{x\to-1^-}h(x)=2,
\quad
\lim_{x\to2^+}h(x)=\infty,
\quad
\lim_{x\to3}h(x)=8.} Dom ( h ) = ( β β , β 1 ] βͺ ( 2 , 3 ) βͺ ( 3 , β ) , x β β 1 β lim β h ( x ) = 2 , x β 2 + lim β h ( x ) = β , x β 3 lim β h ( x ) = 8. β
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). x β β lim β x ( 2 Ο β β arctan x ) .
Let
u = Ο 2 β arctan β‘ x . u=\frac{\pi}{2}-\arctan x. u = 2 Ο β β arctan x . As x β β x\to\infty x β β , u β 0 + u\to0^+ u β 0 + . Since
arctan β‘ x = Ο 2 β u , \arctan x=\frac{\pi}{2}-u, arctan x = 2 Ο β β u , we have
x = tan β‘ ( Ο 2 β u ) = cot β‘ u . x=\tan\left(\frac{\pi}{2}-u\right)=\cot u. x = tan ( 2 Ο β β u ) = cot u . The limit becomes
lim β‘ u β 0 + u cot β‘ u = lim β‘ u β 0 + u cos β‘ u sin β‘ u . \lim_{u\to0^+}u\cot u
=
\lim_{u\to0^+}\frac{u\cos u}{\sin u}. u β 0 + lim β u cot u = u β 0 + lim β sin u u cos u β . Rewrite it using the standard sine limit:
lim β‘ u β 0 + cos β‘ u ( u sin β‘ u ) = 1 β
1. \lim_{u\to0^+}\cos u\left(\frac{u}{\sin u}\right)
=
1\cdot1. u β 0 + lim β cos u ( sin u u β ) = 1 β
1. Therefore,
lim β‘ x β β x ( Ο 2 β arctan β‘ x ) = 1. \boxed{\lim_{x\to\infty}x\left(\frac{\pi}{2}-\arctan x\right)=1.} x β β lim β x ( 2 Ο β β arctan x ) = 1. β