Left and Right Limit Method

Almost every continuity question you will ever be asked is really a question about a piecewise function: a formula that changes at one particular point. The temptation is to plug the point into the formula and declare victory, but that only works if you happened to guess the right branch. The left-right limit method removes the guesswork. It asks three separate questions — what happens as you approach from the left, what happens as you approach from the right, and what is the function actually defined to be at the point — and then compares the three answers.

That comparison is more informative than it looks. When the three agree you have continuity; when the two limits agree but differ from the function value you have a removable discontinuity; when the two limits both exist but differ you have a jump; and when a one-sided limit fails to exist at all you have a discontinuity of the second kind. This page sets out the method step by step, works through three examples, and then addresses the question that comes up as soon as you start using it seriously: how do you know a one-sided limit exists at all?

The Principle of the Test

A function f(x)f(x) is continuous at x0x_0 if and only if

lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=f(x0)\lim_{x \to x_0^-} f(x) = \lim_{x \to x_0^+} f(x) = f(x_0)

The three quantities in that chain are genuinely independent, and the test is the conjunction of three conditions:

  1. The left-hand limit exists and is finite.
  2. The right-hand limit exists and is finite.
  3. Both limits and the function value are the same number.

The Four Steps

  1. Compute the left limit: lim⁡x→x0−f(x)\lim_{x \to x_0^-} f(x), by taking the branch of the formula that applies for xx slightly less than x0x_0.
  2. Compute the right limit: lim⁡x→x0+f(x)\lim_{x \to x_0^+} f(x), using the branch that applies for xx slightly greater than x0x_0.
  3. Compute the function value: f(x0)f(x_0), using whichever branch actually contains x0x_0. If no branch contains x0x_0, the function value is simply undefined, and that is already a failure.
  4. Compare all three: if they are equal, ff is continuous at x0x_0; if not, it is not.

Step 3 is where students most often slip. The branch that governs the limit from the left is frequently not the branch that defines the value at the point, and the method exists precisely to force you to check both.

A Comparison Table of the Outcomes

Left limit at x0x_0Right limit at x0x_0Function value f(x0)f(x_0)Conclusion
exists, value LLexists, value LLequals LLContinuous at x0x_0
exists, value LLexists, value LLdifferent from LL, or undefinedDiscontinuous: a removable discontinuity
exists, value L1L_1exists, value L2≠L1L_2 \neq L_1anyDiscontinuous: a jump discontinuity (first kind)
exists, value LLdoes not existanyDiscontinuous: a discontinuity of the second kind
does not existexists, value LLanyDiscontinuous: a discontinuity of the second kind
does not existdoes not existanyDiscontinuous: a discontinuity of the second kind

The table is a decision procedure. The first row is the only one that gives continuity; the second row is the case that a limits-only test would miss; the last three rows are all second-kind discontinuities, distinguished by which side fails.

Worked Examples

Example 1. Determine the continuity of f(x)={x2,x≤12x−1,x>1f(x) = \begin{cases} x^2, & x \leq 1 \\ 2x - 1, & x > 1 \end{cases} at x=1x = 1.

Solution:

  1. Left limit: lim⁡x→1−f(x)=lim⁡x→1−x2=1\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-} x^2 = 1.
  2. Right limit: lim⁡x→1+f(x)=lim⁡x→1+(2x−1)=1\lim_{x \to 1^+} f(x) = \lim_{x \to 1^+} (2x - 1) = 1.
  3. Function value: f(1)=12=1f(1) = 1^2 = 1, using the branch that contains x=1x = 1.
  4. All three are equal.
  5. Conclusion: the function is continuous at x=1x = 1.

Example 2. Determine the continuity of f(x)={x,x<0x+1,x≥0f(x) = \begin{cases} x, & x < 0 \\ x + 1, & x \geq 0 \end{cases} at x=0x = 0.

Solution:

  1. Left limit: lim⁡x→0−f(x)=0\lim_{x \to 0^-} f(x) = 0.
  2. Right limit: lim⁡x→0+f(x)=1\lim_{x \to 0^+} f(x) = 1.
  3. Function value: f(0)=1f(0) = 1, since 00 belongs to the second branch.
  4. The left limit and the right limit are not equal.
  5. Conclusion: the function is discontinuous at x=0x = 0, and the discontinuity is a jump — the graph has an open circle at height 00 and a filled circle at height 11.

Example 3. Determine the continuity of f(x)={x2−1x−1,x≠10,x=1f(x) = \begin{cases} \frac{x^2 - 1}{x - 1}, & x \neq 1 \\ 0, & x = 1 \end{cases} at x=1x = 1.

Solution:

  1. Left limit: for xx near 11 with x≠1x \neq 1, the factorisation x2−1=(x−1)(x+1)x^2 - 1 = (x-1)(x+1) gives x2−1x−1=x+1\frac{x^2-1}{x-1} = x + 1, so lim⁡x→1−f(x)=2\lim_{x \to 1^-} f(x) = 2.
  2. Right limit: by the same computation, lim⁡x→1+f(x)=2\lim_{x \to 1^+} f(x) = 2.
  3. Function value: f(1)=0f(1) = 0, by definition.
  4. The two limits agree with each other but not with the function value.
  5. Conclusion: the function is discontinuous at x=1x = 1, and the discontinuity is removable — redefining f(1)=2f(1) = 2 would make the function continuous.

Do One-Sided Limits Always Exist?

The method above assumes you can compute lim⁡x→x0−f(x)\lim_{x \to x_0^-} f(x) and lim⁡x→x0+f(x)\lim_{x \to x_0^+} f(x). Sometimes you cannot, and then the honest answer is that the limit does not exist — which is itself a conclusion, and one that the comparison table above is designed to absorb. Three standard results tell you when to expect success.

The two-sided criterion. The limit lim⁡x→x0f(x)\lim_{x \to x_0} f(x) exists if and only if both one-sided limits exist and are equal. This is the reason the method is named after the two sides: working one-sided is always easier, because on one side of x0x_0 a piecewise function usually reduces to a single smooth formula, and the one-sided limit is then just the ordinary limit of that formula.

The squeeze theorem (sandwich theorem). Suppose that near x0x_0 you can find two functions gg and hh with g(x)≤f(x)≤h(x)g(x) \leq f(x) \leq h(x), and that lim⁡x→x0−g(x)=lim⁡x→x0−h(x)=L\lim_{x \to x_0^-} g(x) = \lim_{x \to x_0^-} h(x) = L. Then lim⁡x→x0−f(x)=L\lim_{x \to x_0^-} f(x) = L as well. The same statement holds on the right. This is the standard tool for one-sided limits of expressions such as sin⁡xx\frac{\sin x}{x} or 1−cos⁡xx2\frac{1 - \cos x}{x^2}, where direct substitution produces the indeterminate form 00\frac{0}{0} and no algebraic simplification is available.

The monotone bounded theorem. A monotone increasing sequence that is bounded above converges, and a monotone decreasing sequence that is bounded below converges. The continuous-function analogue is this: a function that is monotone on an interval has one-sided limits (possibly infinite) at every interior point of that interval. In practice this means that for a monotone branch of a piecewise function you can be confident the one-sided limit exists before you start computing it, and you can use the values from the correct side to identify it.


Exercises

Exercise 1

Use the left and right limit method to determine the continuity of f(x)={x2,x<0x+1,x≥0f(x) = \begin{cases} x^2, & x < 0 \\ x + 1, & x \geq 0 \end{cases} at x=0x = 0.

continuityleft-right limit methodpiecewise function

Approach:

Compute the left limit, the right limit, and the function value separately, then compare all three.

Steps:

  1. Left limit: lim⁡x→0−f(x)=lim⁡x→0−x2=0\lim_{x \to 0^-} f(x) = \lim_{x \to 0^-} x^2 = 0.
  2. Right limit: lim⁡x→0+f(x)=lim⁡x→0+(x+1)=1\lim_{x \to 0^+} f(x) = \lim_{x \to 0^+} (x + 1) = 1.
  3. Function value: f(0)=1f(0) = 1, since 00 belongs to the second branch.
  4. The left limit and the right limit are not equal, so the condition lim⁡x→0−f(x)=lim⁡x→0+f(x)=f(0)\lim_{x \to 0^-} f(x) = \lim_{x \to 0^+} f(x) = f(0) fails.

Answer:

The function is discontinuous at x=0x = 0, with a jump discontinuity.

Exercise 2

Determine the continuity of f(x)=x2−1x−1f(x) = \frac{x^2 - 1}{x - 1} at x=1x = 1, and classify the type of the discontinuity.

continuityremovable discontinuityleft-right limit method

Approach:

Factor the numerator to simplify the expression near x=1x = 1, then compare the two one-sided limits with the function value.

Steps:

  1. For x≠1x \neq 1, x2−1=(x−1)(x+1)x^2 - 1 = (x-1)(x+1), so f(x)=x+1f(x) = x + 1 everywhere on its domain.
  2. Left limit: lim⁡x→1−f(x)=lim⁡x→1−(x+1)=2\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-}(x+1) = 2.
  3. Right limit: lim⁡x→1+f(x)=lim⁡x→1+(x+1)=2\lim_{x \to 1^+} f(x) = \lim_{x \to 1^+}(x+1) = 2.
  4. Function value: f(1)f(1) is undefined, because the original formula has a zero denominator at x=1x = 1.
  5. The two limits exist and agree, but the function value is missing. This is a removable discontinuity: defining f(1)=2f(1) = 2 would make the function continuous at x=1x = 1.

Answer:

ff is discontinuous at x=1x = 1; the discontinuity is removable, with lim⁡x→1f(x)=2\lim_{x \to 1} f(x) = 2.

Exercise 3

Let ff be continuous on [0,1][0, 1] with f(0)=0f(0) = 0 and f(1)=1f(1) = 1. Show that there is a point c∈(0,1)c \in (0, 1) with f(c)=12f(c) = \frac{1}{2}.

continuityintermediate value theoremexistence of a point

Approach:

Use the intermediate value theorem, which is the existence theorem that turns continuity into a guarantee about function values.

Steps:

  1. The function g(x)=f(x)−12g(x) = f(x) - \frac{1}{2} is continuous on [0,1][0, 1], because ff is continuous and constants are continuous.
  2. Evaluate at the endpoints: g(0)=0−12=−12<0g(0) = 0 - \frac{1}{2} = -\frac{1}{2} < 0 and g(1)=1−12=12>0g(1) = 1 - \frac{1}{2} = \frac{1}{2} > 0.
  3. By the intermediate value theorem, gg takes the value 00 at some c∈(0,1)c \in (0, 1), since 00 lies between g(0)g(0) and g(1)g(1).
  4. From g(c)=0g(c) = 0 we get f(c)=12f(c) = \frac{1}{2}.

Answer:

There exists c∈(0,1)c \in (0, 1) with f(c)=12f(c) = \frac{1}{2}, by the intermediate value theorem applied to f(x)−12f(x) - \frac{1}{2}.


Summary

The left-right limit method is the workhorse test for continuity at a point where the formula changes. It reduces every question to three numbers — the limit from the left, the limit from the right, and the value at the point — and then reads the conclusion off their pattern: all three equal means continuous; two equal and one different means a removable discontinuity; two limits that differ means a jump; a missing one-sided limit means a discontinuity of the second kind. What makes the method practical is that one-sided limits are usually easier to compute than two-sided ones, since on each side a piecewise function reduces to a single smooth formula, and the squeeze theorem and the monotone bounded theorem tell you in advance whether the limit you are chasing actually exists.

Symbols Used in This Article

SymbolTypePronunciation/ExplanationMeaning in This Article
x0x_0Mathematical symbolx-sub-zeroThe point at which continuity is being tested
f(x)f(x)Mathematical symbolf of xThe function whose continuity is being tested
f(x0)f(x_0)Mathematical symbolf of x-sub-zeroThe value of the function at that point
lim⁡x→x0−f(x)\lim_{x \to x_0^-} f(x)Mathematical symbolleft-hand limitThe left-hand limit
lim⁡x→x0+f(x)\lim_{x \to x_0^+} f(x)Mathematical symbolright-hand limitThe right-hand limit
≠\neqMathematical symbolnot equal toNot equal to
≤,≥\leq, \geqMathematical symbolless/greater than or equalLess than or equal to, greater than or equal to
g(x),h(x)g(x), h(x)Mathematical symbolg of x, h of xThe bounding functions used in the squeeze theorem

Found an issue with this content?

Tell us what could be improved.