Two-Sided Limits

What is a Two-Sided Limit?

The Existence Condition

The Default Limit Notation

Visualizing Two-Sided Approach

When Two-Sided Limits Fail to Exist

Continuous Functions and Two-Sided Limits

Evaluating Two-Sided Limits

Two-Sided Limits at Boundary Points

Relationship to Derivatives

Summary: Where Two-Sided Limits Appear in Calculus

Two-Sided Limits FAQ

Both Directions at Once

When we write the limit notation without any superscript—just

x \to a

—we demand that the function approach the same value from both sides. This is the two-sided limit, the default meaning of the word "limit" in calculus.

The formal statement

\lim_{x \to a} f(x) = L

requires that

f(x)

approach

L

x

approaches

a

through values both less than and greater than

a

. Neither direction gets special treatment. If the function behaves differently on the left than on the right, no two-sided limit exists.

This requirement is stringent but essential. Derivatives, integrals, and continuity all rely on two-sided limits. A function that approaches different values from different directions exhibits a fundamental asymmetry—a break in behavior that prevents the limit machinery from producing a single answer.

Key Terms

Limit— the value approached from both directions simultaneously

One-Sided Limit— directional components of the two-sided limit

Continuity— holds when the two-sided limit equals the function value

See All Calculus Definitions →

The Existence Condition

A two-sided limit exists if and only if both one-sided limits exist and are equal. Formally:

Two-Sided Limit Existence Theorem

\lim_{x \to a} f(x) = L \iff \lim_{x \to a^-} f(x) = L \;\text{ and }\; \lim_{x \to a^+} f(x) = L

Learn more about this formula: Two-Sided Limit Existence Theorem →

Browse all limit formulas →

Three conditions must hold. First, the left-hand limit

\lim_{x \to a^-} f(x)

must exist. Second, the right-hand limit

\lim_{x \to a^+} f(x)

must exist. Third, these two values must be identical.

If the one-sided limits differ, the two-sided limit does not exist. If either one-sided limit fails to exist (due to oscillation or unbounded behavior), the two-sided limit also fails to exist.

The Default Limit Notation

Notation

The Default Limit Notation

The base marks every later limit page decorates. What the bare, superscript-free form asserts — and the shorthand for when it asserts nothing.

The superscripts

a^{-}

and

a^{+}

in the existence criterion above belong to one-sided limits.

x \to a

x approaches a

Approach from both sides at once — no superscript, no preferred direction, and

x

never equals

a

. LaTeX \to; the mathematical keyboard carries

\rightarrow

in its arrow set.

CasesSuperscript added — directional, owned by one-sided limits.

\infty

in place of

a

— the approach never arrives, limits at infinity. In the derivative definition the moving variable is renamed:

h \to 0

Also written“Tends to” in British texts, “approaches” in American ones. The arrow itself dates to Hardy's A Course of Pure Mathematics (1908); before it, texts put

x = a

under the lim.

Do not confuseNot an equality in motion.

0 < |x - a|

holds the whole way — reading the arrow as “set

x = a

” is the substitution error the limit concept exists to avoid.

Same glyph elsewhereThe same arrow writes function mapping

f: A \to B

and logical implication

p \to q

— unrelated jobs.

\lim\limits_{x \to a} f(x) = L

The limit of f of x, as x approaches a, equals L

One indivisible operator — nothing is multiplied.

x

is a bound variable:

L

depends on

f

and

a

, never on

x

. The LaTeX reference writes it \lim_{x \to a}.

CasesDisplayed, the condition sits under the operator; inline it slides to a subscript — same command. The

= L

form asserts existence, so it may only be written once the criterion in The Existence Condition above is met.

Also written

f(x) \to L

x \to a

— the arrow form, standard in running prose where a displayed operator would be heavy.

Do not confuse

L

is not

f(a)

. Hole at

a

, displaced point, undefined value — the limit ignores all three; continuity is precisely the claim that

L

and

f(a)

coincide.

\lim\limits_{x \to a} f(x)

DNE

The limit does not exist — D N E

A verdict, not a value. DNE cannot be computed with or set equal to anything — once it holds, the

= L

form is unavailable.

CasesThe three routes — jump, opposite infinities, oscillation — are catalogued in When Two-Sided Limits Fail to Exist below. A limit that is

\infty

is its own case: the

= \infty

notation describes how existence fails and belongs to infinite limits.

Also writtenSpelled out “does not exist” in analysis texts; DNE is classroom and exam shorthand, rarely printed.

Do not confuseNot the same as

f(a)

undefined.

\frac{\sin x}{x}

0

: no value, limit exists. The floor function at an integer: value exists, limit DNE. Independent questions.

All calculus symbols →↑ Limits

Visualizing Two-Sided Approach

Imagine tracing the graph of

f

with your finger, moving toward

x = a

from the left. Note the

y

-value your finger approaches. Now repeat from the right. If both traces converge to the same height, the two-sided limit exists and equals that height.

The function value

f(a)

is irrelevant to this process. The graph might have a hole at

x = a

, or the point might be displaced from where the traces converge. The limit cares only about approach, not arrival.

A filled or open circle at

x = a

tells you about

f(a)

, but the limit depends on the curve's behavior as it approaches that

x

-coordinate from both sides.

When Two-Sided Limits Fail to Exist

Several scenarios cause two-sided limits to fail.

Jump Discontinuity

The left-hand and right-hand limits both exist but differ. For a piecewise function defined by

f(x) = \begin{cases} x + 1 & x < 3 \\ x - 1 & x \geq 3 \end{cases}

the left-hand limit at

x = 3

4

while the right-hand limit is

2

. No single value works for both directions.

Infinite Disagreement

One side may tend toward

+\infty

while the other tends toward

-\infty

. For

f(x) = 1/(x - 2)

, approaching

x = 2

from the right gives

+\infty

, while approaching from the left gives

-\infty

. The two-sided limit does not exist.

Oscillation

If the function oscillates without settling from at least one direction, the corresponding one-sided limit fails to exist, and so does the two-sided limit.

Each failure mode reveals different information about the function's structure near the point.

Failure mode	Left-hand limit at a	Right-hand limit at a	Why two-sided fails
Jump discontinuity	exists, equals L₁	exists, equals L₂ ≠ L₁	both sides settle, but on different values
Infinite disagreement	→ −∞ (or +∞)	→ the opposite ∞	neither side is finite, and they head opposite directions
Oscillation	does not exist	(or does not exist)	at least one side never settles on any value

Continuous Functions and Two-Sided Limits

For continuous functions, evaluating limits is straightforward: substitute and compute. The definition of continuity at

x = a

requires

\lim_{x \to a} f(x) = f(a)

When this holds, the limit equals the function value. Polynomials, exponentials, sine, cosine, and many standard functions are continuous everywhere on their domains. For these, direct substitution yields the limit immediately.

Rational functions are continuous wherever the denominator is nonzero. At points where the denominator vanishes, continuity fails and direct substitution does not apply—other techniques are needed.

Evaluating Two-Sided Limits

Begin with direct substitution. If

f(a)

is defined and no indeterminate form arises, then

\lim_{x \to a} f(x) = f(a)

If substitution produces

0/0

\infty/\infty

, or another indeterminate form, algebraic manipulation is required. Factor and cancel common terms, rationalize radicals, or simplify complex fractions until substitution becomes possible.

For example:

\lim_{x \to 3} \frac{x^2 - 9}{x - 3} = \lim_{x \to 3} \frac{(x-3)(x+3)}{x-3} = \lim_{x \to 3} (x + 3) = 6

The evaluating limits page covers these techniques in detail.

Two-Sided Limits at Boundary Points

At the edge of a function's domain, only one direction of approach is available. The square root function

\sqrt{x}

is defined only for

x \geq 0

, so at

x = 0

, only the right-hand limit makes sense:

\lim_{x \to 0^+} \sqrt{x} = 0

There is no left-hand limit because negative inputs lie outside the domain. In such cases, the one-sided limit is the only meaningful limit.

Context determines interpretation. When a function's domain naturally restricts approach to one side, the one-sided limit serves as the appropriate limit concept at that boundary.

Relationship to Derivatives

The derivative of

f

x = a

is defined as a two-sided limit:

f'(a) = \lim_{h \to 0} \frac{f(a + h) - f(a)}{h}

The variable

h

approaches

0

from both positive and negative values. Positive

h

corresponds to approaching from the right; negative

h

corresponds to approaching from the left. Differentiability requires the same rate of change from both directions.

If only one direction yields a limit, we obtain a one-sided derivative. A function can have a left derivative and a right derivative that differ, in which case the two-sided derivative does not exist at that point.

Summary: Where Two-Sided Limits Appear in Calculus

The two-sided limit is the default notion of approach in calculus, and that default carries weight: most of the key definitions in the subject are stated as two-sided limits. The table below collects three settings where the two-sided form is structurally required, plus the one common exception — a domain boundary, where two-sided approach isn't even available. In every case, the requirement that the function agree from both sides isn't decorative; it's what makes the underlying definition well-posed.

Setting	Two-sided limit involved	Why agreement from both sides matters
The basic limit notation	lim_{x → a} f(x) = L	the no-superscript form is the default, requiring both sides to reach the same L
Continuity at a point	lim_{x → a} f(x) = f(a)	a function isn't continuous if it only matches f(a) from one direction
Derivative at a point	lim_{h → 0} [f(a + h) − f(a)] / h	differentiability requires the same instantaneous slope from both sides; corners and cusps fail here
Domain boundary (exception)	only a one-sided limit exists, e.g. lim_{x → 0⁺} √x	when the function isn't defined on one side, two-sided isn't available — the one-sided limit takes over as the appropriate concept

Two-Sided Limits FAQ

What does DNE mean in calculus?

DNE stands for “does not exist” — a verdict about a limit, not a value the limit takes. Once a limit is DNE you cannot compute with it or set it equal to anything. It is also independent of whether f(a) is defined: sin(x)/x has no value at 0 yet its limit exists, while the floor function has a value at every integer but no limit there.Read more →

In a limit, does x ever actually equal a?

No. The condition 0 < |x − a| holds the whole way, so x stays strictly away from a while getting arbitrarily close to it. The arrow describes an approach, not an equality in motion. Reading x → a as an instruction to set x = a is precisely the substitution error the limit concept exists to avoid, and it is why a limit can exist where the function has no value.Read more →

Can a two-sided limit exist at the endpoint of a domain?

Not in the full two-sided sense. At a domain endpoint only one direction of approach is available, so the two-sided limit is unavailable there while the one-sided limit remains perfectly meaningful. For √x at 0 nothing lies to the left, so the right-hand limit is the appropriate concept. See one-sided limits for that treatment.Read more →