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?
A function is continuous at if and only if
The three quantities in that chain are genuinely independent, and the test is the conjunction of three conditions:
- The left-hand limit exists and is finite.
- The right-hand limit exists and is finite.
- Both limits and the function value are the same number.
Why the function value has to be included
It is tempting to test only the two limits, and for many functions that is enough. But a function can have perfectly matching one-sided limits and still be discontinuous at the point, because the point may be removable: the curve has a well-defined height there, and the function has been defined to be something else. The famous example is at : both one-sided limits are , but is not defined at all.
- Compute the left limit: , by taking the branch of the formula that applies for slightly less than .
- Compute the right limit: , using the branch that applies for slightly greater than .
- Compute the function value: , using whichever branch actually contains . If no branch contains , the function value is simply undefined, and that is already a failure.
- Compare all three: if they are equal, is continuous at ; 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.
| Left limit at | Right limit at | Function value | Conclusion |
|---|---|---|---|
| exists, value | exists, value | equals | Continuous at |
| exists, value | exists, value | different from , or undefined | Discontinuous: a removable discontinuity |
| exists, value | exists, value | any | Discontinuous: a jump discontinuity (first kind) |
| exists, value | does not exist | any | Discontinuous: a discontinuity of the second kind |
| does not exist | exists, value | any | Discontinuous: a discontinuity of the second kind |
| does not exist | does not exist | any | Discontinuous: 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.
Example 1. Determine the continuity of at .
Solution:
- Left limit: .
- Right limit: .
- Function value: , using the branch that contains .
- All three are equal.
- Conclusion: the function is continuous at .
Example 2. Determine the continuity of at .
Solution:
- Left limit: .
- Right limit: .
- Function value: , since belongs to the second branch.
- The left limit and the right limit are not equal.
- Conclusion: the function is discontinuous at , and the discontinuity is a jump — the graph has an open circle at height and a filled circle at height .
Example 3. Determine the continuity of at .
Solution:
- Left limit: for near with , the factorisation gives , so .
- Right limit: by the same computation, .
- Function value: , by definition.
- The two limits agree with each other but not with the function value.
- Conclusion: the function is discontinuous at , and the discontinuity is removable — redefining would make the function continuous.
The method above assumes you can compute and . 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 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 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 you can find two functions and with , and that . Then as well. The same statement holds on the right. This is the standard tool for one-sided limits of expressions such as or , where direct substitution produces the indeterminate form 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.
Existence is a separate question from equality
Note that “the one-sided limit exists” and “the two one-sided limits are equal” are different claims, and the method needs both. A jump discontinuity has two perfectly good one-sided limits; a second-kind discontinuity has one that does not exist at all. Deciding which of the two situations you are in is what the first column of the comparison table is for.
Exercise 1
Use the left and right limit method to determine the continuity of at .
Approach:
Compute the left limit, the right limit, and the function value separately, then compare all three.
Steps:
- Left limit: .
- Right limit: .
- Function value: , since belongs to the second branch.
- The left limit and the right limit are not equal, so the condition fails.
Answer:
The function is discontinuous at , with a jump discontinuity.
Exercise 2
Determine the continuity of at , and classify the type of the discontinuity.
Approach:
Factor the numerator to simplify the expression near , then compare the two one-sided limits with the function value.
Steps:
- For , , so everywhere on its domain.
- Left limit: .
- Right limit: .
- Function value: is undefined, because the original formula has a zero denominator at .
- The two limits exist and agree, but the function value is missing. This is a removable discontinuity: defining would make the function continuous at .
Answer:
is discontinuous at ; the discontinuity is removable, with .
Exercise 3
Let be continuous on with and . Show that there is a point with .
Approach:
Use the intermediate value theorem, which is the existence theorem that turns continuity into a guarantee about function values.
Steps:
- The function is continuous on , because is continuous and constants are continuous.
- Evaluate at the endpoints: and .
- By the intermediate value theorem, takes the value at some , since lies between and .
- From we get .
Answer:
There exists with , by the intermediate value theorem applied to .
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
| Symbol | Type | Pronunciation/Explanation | Meaning in This Article |
|---|---|---|---|
| Mathematical symbol | x-sub-zero | The point at which continuity is being tested | |
| Mathematical symbol | f of x | The function whose continuity is being tested | |
| Mathematical symbol | f of x-sub-zero | The value of the function at that point | |
| Mathematical symbol | left-hand limit | The left-hand limit | |
| Mathematical symbol | right-hand limit | The right-hand limit | |
| Mathematical symbol | not equal to | Not equal to | |
| Mathematical symbol | less/greater than or equal | Less than or equal to, greater than or equal to | |
| Mathematical symbol | g of x, h of x | The bounding functions used in the squeeze theorem |
