Limit of a continuous composition: Push the limit through an outer function

On this page: The Principle | Conditions | Failure Modes | EE Questions | Retrieval Practice | Practice Ground | Solve a Problem | FAQ

---

The Principle

The move: Push the limit operator through a continuous outer function, so the limit applies only to the inner expression.

The invariant: This preserves the value of the limit, provided $f$ is continuous at the inner limit value $L$.

Pattern: $\lim_{x \to a} f(g(x)) \quad \longrightarrow \quad f\!\left(\lim_{x \to a} g(x)\right)$

Legal ✓	Illegal ✗
$\lim_{x \to 0} e^{x^2}$; $f = e^t$ continuous everywhere → $e^{\lim_{x \to 0} x^2} = e^0 = 1$	$\lim_{x \to 1} \lfloor g(x) \rfloor \not\to \lfloor\lim_{x \to 1} g(x)\rfloor$ when $\lim_{x \to 1} g(x) = 1$; floor discontinuous at $L = 1$

Left: $f = e^t$ is continuous everywhere — the push is valid. Right: $f = \lfloor t \rfloor$ is discontinuous at every integer; since $L = 1$ is an integer, the condition fails and the push is blocked even though the expression has the right form.

---

Conditions of Applicability

Condition: $\lim_{x \to a} g(x)=L$; f continuous at L

Before applying, check: compute $\lim_{x \to a} g(x) = L$ first, then confirm $f$ is defined and continuous at $L$.

If the condition is violated: the limit of $f(g(x))$ may differ from $f(L)$, or may not exist, even though $\lim_{x \to a} g(x) = L$.

• $f$ must be continuous at $L$ — a function with a jump discontinuity, a vertical asymptote, or that is undefined at $L$ blocks the push.
• Standard functions such as $\sin$, $\cos$, $e^t$, and polynomials are continuous wherever they are defined. For outer functions with restricted domains, compute $L$ first: $\ln t$ requires $L > 0$, $\sqrt{t}$ requires $L \geq 0$, and rational outer functions require a nonzero denominator at $L$.

Want the complete framework behind this guide? Read Masterful Learning.

---

Common Failure Modes

Failure mode: apply the push when $f$ is not continuous at $L$ — for example, $f(t) = 1/t$ when $L = 0$, or $f(t) = \ln t$ when $L = 0$ → the value $f(L)$ is either undefined or differs from the true limit of the composition.

Debug: state $L$ explicitly, then ask “is $f$ defined and continuous at this specific value?” For $\ln$, $\sqrt{\cdot}$, and rational outer functions, always verify the domain constraint at $L$.

Failure mode: assume every standard function is safe everywhere, ignoring that domain boundaries disqualify continuity → misses cases like $\lim_{x \to 0} \sqrt{g(x)}$ when $\lim g(x) = -1$, or $\lim_{x \to a} \ln(g(x))$ when $\lim g(x) = 0$.

Debug: for any outer function with a restricted domain, compute $L$ first — if $L$ is outside the domain or at a point where $f$ is not continuous, the push is unavailable.

---

Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

• What does “continuous at $L$” mean operationally, and why is it the key check rather than “continuous everywhere”?
• Could you apply this rule in reverse — interpreting $f(\lim_{x \to a} g(x))$ as $\lim_{x \to a} f(g(x))$? When would that direction be useful?

For the Principle

• Describe a two-step check you can run before applying the composition rule to any composite limit $\lim_{x \to a} f(g(x))$.
• When the rule cannot be applied because $f$ is not continuous at $L$, what alternative strategies allow you to evaluate the limit?

Between Principles

• The limit quotient rule also carries an applicability condition — a nonzero denominator limit. How does that algebraic-nonzero check compare to the continuity-at-$L$ check required here?

Generate an Example

• Construct a composite limit $\lim_{x \to a} f(g(x))$ where the rule appears applicable but the condition fails, and describe what goes wrong if you push the limit through anyway.

---

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the move in one sentence: _____Push the limit operator through the outer function: the limit of f(g(x)) equals f evaluated at the limit of g(x), provided f is continuous at that inner limit value.

Write the canonical equation: _____$\lim_{x \to a} f(g(x)) = f\!\left(\lim_{x \to a} g(x)\right)$

State the canonical condition: _____$\lim_{x \to a} g(x)=L;\, \text{f continuous at L}$

---

Practice Ground

Use these exercises to build move-selection fluency. (See Self-Explanation for how to use worked examples effectively.)

Procedure Walkthrough

Starting from $\lim_{x \to 1} \sqrt{3x^2 + 1}$, reach a single numeric value.

Step	Expression	Operation
0	$\lim_{x \to 1} \sqrt{3x^2+1}$	—
1	$\sqrt{\lim_{x \to 1}(3x^2+1)}$	Composition rule — $f(t)=\sqrt{t}$, continuous at $L = 4$ ✓
2	$\sqrt{4}$	Evaluate inner limit by direct substitution
3	$2$	Arithmetic

---

Drills

Action label (Format B)

What was done between these two steps? Assume the inner limit exists and verify whether the move is valid.

$\lim_{x \to 0} \sin(x^2 + 1) \quad \longrightarrow \quad \sin\!\left(\lim_{x \to 0}(x^2+1)\right)$

Reveal

Continuous composition rule applied. $f(t) = \sin t$ is continuous everywhere, so it is continuous at $L = \lim_{x \to 0}(x^2+1) = 1$. Condition holds ✓.

Completing the evaluation: $\sin(1)$.

---

What was done between these two steps? Verify whether the move is valid.

$\lim_{x \to 2} e^{x^2 - 3x} \quad \longrightarrow \quad e^{\lim_{x \to 2}(x^2-3x)}$

Reveal

Continuous composition rule applied. $f(t) = e^t$ is continuous everywhere, so it is continuous at $L = \lim_{x \to 2}(x^2-3x) = 4 - 6 = -2$. Condition holds ✓.

Completing the evaluation: $e^{-2}$.

---

What was done between these two steps? Is the move valid? Assume the inner limit is $L = 1$.

$\lim_{x \to 1} \lfloor g(x) \rfloor \quad \longrightarrow \quad \bigl\lfloor\lim_{x \to 1} g(x)\bigr\rfloor$

Reveal

Invalid — the condition fails. $f(t) = \lfloor t \rfloor$ (the floor function) is discontinuous at every integer, and $L = 1$ is an integer. Since $f$ is not continuous at $L$, the composition rule does not apply. The attempted push is blocked.

The true limit $\lim_{x \to 1} \lfloor g(x) \rfloor$ requires separate analysis (e.g., one-sided limits) and may or may not equal $1$.

---

Can the composition rule be applied? Identify the outer function, the inner limit, and check the condition. Assume $\lim_{x \to a} g(x) = 0$.

$\lim_{x \to a} \ln(g(x))$

Reveal

No — this is a near-miss. The outer function is $f(t) = \ln t$, and the inner limit is $L = 0$. But $\ln t$ is not defined at $t = 0$ (let alone continuous there). Since $f$ is not continuous at $L$, the condition fails.

The expression has the right compositional form, but the push is unavailable because $f$ is not continuous at $L$. To evaluate this limit, a different technique (substitution, l’Hôpital, or series expansion near $0^+$) is required.

---

Which of these two limits can be evaluated using the composition rule? Assume all inner limits exist. State the condition check for each.

(i) $\displaystyle\lim_{x \to 0} \sqrt{g(x)}$ where $\lim_{x \to 0} g(x) = 4$

(ii) $\displaystyle\lim_{x \to 0} \sqrt{g(x)}$ where $\lim_{x \to 0} g(x) = -1$

Reveal

(i) only. $f(t) = \sqrt{t}$ is continuous at $t = 4$ ($4 \geq 0$, so it is in the domain). Condition holds ✓ — the push is valid.

For (ii): $L = -1$ is outside the domain of $\sqrt{t}$ (real-valued). $f$ is not defined at $L$, so it is not continuous there. The composition rule does not apply.

The same outer function can be eligible or blocked depending on where the inner limit lands.

---

Forward step (Format A)

Apply the composition rule once. State the condition check explicitly.

$\lim_{x \to 1} (2x - 1)^4$

Reveal

Outer function $f(t) = t^4$ (polynomial), continuous everywhere. Inner limit: $L = \lim_{x \to 1}(2x-1) = 1$. Condition: $f$ continuous at $1$ ✓.

$\left(\lim_{x \to 1}(2x-1)\right)^4 = 1^4 = 1$

---

Apply the composition rule once. State the condition check explicitly.

$\lim_{x \to \pi} \cos(x - \pi)$

Reveal

Outer function $f(t) = \cos t$, continuous everywhere. Inner limit: $L = \lim_{x \to \pi}(x - \pi) = 0$. Condition: $f$ continuous at $0$ ✓.

$\cos\!\left(\lim_{x \to \pi}(x - \pi)\right) = \cos(0) = 1$

---

Apply the composition rule once. State the condition check explicitly.

$\lim_{x \to 3} \sqrt{x^2 - 5}$

Reveal

Outer function $f(t) = \sqrt{t}$. Inner limit: $L = \lim_{x \to 3}(x^2-5) = 9 - 5 = 4$. Condition: $f$ continuous at $4$ ✓.

$\sqrt{\lim_{x \to 3}(x^2-5)} = \sqrt{4} = 2$

---

Can the composition rule be applied? State the condition check and explain your decision. Assume $\lim_{x \to 1} g(x) = 1$.

$\lim_{x \to 1} \frac{1}{g(x) - 1}$

Reveal

No — the condition fails. Outer function $f(t) = \dfrac{1}{t-1}$. Inner limit: $L = 1$. But $f$ has a vertical asymptote at $t = 1$ — it is not defined (let alone continuous) at $L$.

The composition rule does not apply. To evaluate this limit, analyze the behavior of $g(x)$ near $1$ from each side, or apply l’Hôpital if the form permits.

---

Transition identification (Format C)

In the evaluation chain below, identify which step applies the composition rule. Verify the condition at that step.

$\lim_{x \to 0} e^{3x^2 - 2x}$

$\xrightarrow{(1)} e^{\lim_{x \to 0}(3x^2 - 2x)} \xrightarrow{(2)} e^{0} \xrightarrow{(3)} 1$

Reveal

Step (1) applies the composition rule. Outer function $f(t) = e^t$, continuous everywhere. Inner limit: $L = \lim_{x \to 0}(3x^2 - 2x) = 0$. Condition holds ✓.

Step (2) evaluates the inner limit by direct substitution. Step (3) computes $e^0 = 1$.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem: Evaluate $\lim_{x \to 0} e^{x^2 - 4x + 3}$, applying the continuous composition rule as the first step. Show the condition check before pushing the limit through.

Full solution

Step	Expression	Move
0	$\lim_{x \to 0} e^{x^2 - 4x + 3}$	—
1	$e^{\lim_{x \to 0}(x^2 - 4x + 3)}$	Composition rule — $f(t) = e^t$, continuous everywhere; $L = 0 - 0 + 3 = 3$ ✓
2	$e^{\lim_{x \to 0} x^2 \,-\, 4\lim_{x \to 0} x \,+\, \lim_{x \to 0} 3}$	Sum and constant-multiple rules on inner expression
3	$e^{0 - 0 + 3}$	Evaluate each basic limit by substitution
4	$e^3$	Simplify

---

Related Principles

Principle	Relationship
Limit statement	Prerequisite: the inner expression still begins as a limit claim at $x \to a$ that must be evaluated first
Continuity at a Point	Defines ”$f$ continuous at $L$” precisely — the condition that makes the push valid
Function Composition	Functions-side structural prerequisite: this rule applies to composite forms $f(g(x))$ and reuses the same inner/outer organization as composition
Derivative Chain Rule	Downstream derivative analogue: after composite limits are fluent, chain rule handles composite derivatives
Limit Quotient Rule	Another condition-critical limit rule; its guard is algebraic ($\lim g \neq 0$) rather than a continuity check

---

FAQ

What is the limit of a continuous composition rule?

The rule states that $\lim_{x \to a} f(g(x)) = f\!\left(\lim_{x \to a} g(x)\right)$ when $f$ is continuous at $L = \lim_{x \to a} g(x)$. It lets you evaluate the limit of a composite expression by first finding the inner limit, then applying the outer function — as long as the outer function is continuous at the inner limit’s value.

When is the composition rule valid?

Two conditions must both hold: (1) $\lim_{x \to a} g(x) = L$ exists, and (2) $f$ is continuous at $L$. Standard functions like $\sin$, $\cos$, $e^t$, and polynomials are continuous everywhere on their domains. For $\ln t$, $\sqrt{t}$, or rational $f$, you must check whether $f$ is continuous at $L$: $L = 0$ blocks $\ln t$ (not in its domain), but $L = 0$ is a valid point for $\sqrt{t}$ — $\sqrt{t}$ is continuous at $0$.

What goes wrong if $f$ is not continuous at the inner limit?

The value $f(L)$ may differ from the true limit $\lim_{x \to a} f(g(x))$ — or the true limit may not exist at all. For example, $\lfloor t \rfloor$ is discontinuous at integers: if $\lim g(x) = 1$, you cannot conclude $\lim \lfloor g(x) \rfloor = 1$ by pushing through.

How is this different from direct substitution?

Direct substitution evaluates $\lim_{x \to a} f(g(x))$ by computing $f(g(a))$ — it works when the entire composition is continuous at $a$. The composition rule is more general: it separates the inner limit computation from the outer function evaluation, so it still applies when $g$ is not continuous at $a$ but $\lim_{x \to a} g(x)$ exists and $f$ is continuous at that limit.

Does this rule apply when $f$ has a domain restriction?

When $L$ is a point where $f$ is defined and continuous. $L = 0$ blocks $\ln t$ because $0$ is not in the domain. $L = 0$ is fine for $\sqrt{t}$ because $\sqrt{0} = 0$ and $\sqrt{t}$ is continuous at $0$. What matters is not whether $L$ is interior or boundary in some abstract sense, but whether $f$ is continuous at $L$.

---

How This Fits in Unisium

Within the calculus subdomain, calculus fluency is built by training condition recognition before rule application — not just pattern execution. For the composition rule, that means computing the inner limit $L$ explicitly and verifying $f$ is continuous there before writing the split form. Through spaced retrieval practice and the action-labeling drills above, that two-step check becomes automatic. The near-miss identification exercises (near $0$ for $\ln$, at integers for $\lfloor\cdot\rfloor$) build the diagnostic awareness that separates fluent calculus from mechanical pattern-matching.

Explore further:

• Calculus Subdomain Map — Return to the calculus hub to see where composite-limit evaluation sits between continuity and derivative composition
• Limit Statement — The prerequisite claim whose inner value you must compute before any push through the outer function
• Continuity at a point — The definition that makes the condition ”$f$ continuous at $L$” precise
• Function Composition — The functions-side structure that gives this rule its inner/outer composite form
• Derivative Chain Rule — The derivative-side successor once you move from composite limits to composite derivatives
• Elaborative Encoding — Build deep understanding of why continuity at $L$ is the key guard
• Retrieval Practice — Make the condition and equation pattern instantly accessible

Ready to master the limit of a continuous composition? Start practicing with Unisium or explore the full learning framework in Masterful Learning.

Masterful Learning

The study system for physics, math, & programming that works: retrieval, connection, explanation, problem solving, and more.

Read the book (opens in new tab) ISBN 979-8-2652-9642-9