Understanding why the expression $1^\infty$ is considered an indeterminate form in calculus requires moving beyond simple arithmetic. Even so, limits deal with behavior as variables approach a value, not just the value itself. In basic algebra, $1$ raised to any finite power is always $1$. When we encounter the limit form $1^\infty$, we are observing a tension between a base approaching $1$ and an exponent growing without bound. The result is not predetermined; it can converge to $1$, $0$, $\infty$, or any positive real number depending entirely on the rates at which the base and exponent approach their limits.
The Nature of Indeterminate Forms
Before diving into the specifics of $1^\infty$, it helps to define what an indeterminate form actually is. These are labeled "indeterminate" because the limit cannot be determined solely by the limiting values of the component parts. In limit evaluation, direct substitution sometimes yields expressions like $\frac{0}{0}$, $\frac{\infty}{\infty}$, $0 \cdot \infty$, $\infty - \infty$, $0^0$, $\infty^0$, and $1^\infty$. The final answer depends on the specific functions involved—specifically, how fast the numerator shrinks compared to the denominator, or how fast the base approaches $1$ compared to how fast the exponent grows.
Counterintuitive, but true.
If you treat $1^\infty$ as standard arithmetic, you might intuitively answer "1". But calculus is the study of change and rates. The expression $1^\infty$ is shorthand for a limit $\lim_{x \to a} [f(x)]^{g(x)}$ where $\lim_{x \to a} f(x) = 1$ and $\lim_{x \to a} g(x) = \infty$. Because $f(x)$ is not exactly $1$ but merely approaching it, even a tiny deviation from $1$, when compounded infinitely many times, produces a massive effect.
The Classic Definition of $e$
The most famous illustration of this principle is the definition of Euler's number, $e$.
Consider the limit: $ \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n $
Here, the base is $1 + \frac{1}{n}$. Now, as $n \to \infty$, the base approaches $1$. The exponent is $n$, which approaches $\infty$. This is the textbook definition of the $1^\infty$ form Took long enough..
If the limit were simply $1$, the answer would be $1$. That said, we know this limit equals $e \approx 2.71828$.
Why? Because the base is not $1$; it is $1 + \frac{1}{n}$. Even so, it is slightly greater than $1$. Raising a number slightly greater than $1$ to a massive power creates exponential growth. Conversely, if the base were $1 - \frac{1}{n}$ (slightly less than $1$), raising it to the $n$th power would drive the result toward $0$.
Let's look at the generalization: $ \lim_{x \to \infty} \left(1 + \frac{k}{x}\right)^x = e^k $ For any constant $k$, the form is $1^\infty$, but the result is $e^k$. Since $k$ can be any real number, the limit can be any positive real number. This single family of functions proves definitively that $1^\infty$ does not have a fixed value.
The Logarithmic Transformation Technique
To evaluate limits of the form $1^\infty$ rigorously, mathematicians use a standard algebraic manipulation involving the natural logarithm. This transforms the exponential indeterminate form into a product form ($0 \cdot \infty$), which can then be converted into a quotient ($\frac{0}{0}$ or $\frac{\infty}{\infty}$) suitable for L'Hôpital's Rule.
Suppose we want to evaluate $L = \lim_{x \to a} [f(x)]^{g(x)}$ where $f(x) \to 1$ and $g(x) \to \infty$.
- Take the natural log of the limit (assuming the limit exists and is positive): $ \ln L = \ln \left( \lim_{x \to a} [f(x)]^{g(x)} \right) $
- By continuity of the logarithm, bring the limit outside: $ \ln L = \lim_{x \to a} \ln \left( [f(x)]^{g(x)} \right) $
- Use log properties to bring the exponent down: $ \ln L = \lim_{x \to a} g(x) \ln(f(x)) $
Now, since $f(x) \to 1$, $\ln(f(x)) \to \ln(1) = 0$. And $g(x) \to \infty$. We have transformed the problem into the indeterminate product $0 \cdot \infty$ Turns out it matters..
- Rewrite as a quotient to apply L'Hôpital's Rule: $ \ln L = \lim_{x \to a} \frac{\ln(f(x))}{1/g(x)} \quad \text{(Form } \frac{0}{0} \text{)} $ $ \text{OR} \quad \ln L = \lim_{x \to a} \frac{g(x)}{1/\ln(f(x))} \quad \text{(Form } \frac{\infty}{\infty} \text{)} $
Once $\ln L$ is evaluated, the original limit is $L = e^{\ln L}$.
Worked Example: A Non-Trivial Case
Evaluate $\lim_{x \to 0} (\cos x)^{1/x^2}$.
- Identify the form: As $x \to 0$, $\cos x \to 1$ and $1/x^2 \to \infty$. This is $1^\infty$.
- Apply Log Transformation: Let $L$ be the limit. $ \ln L = \lim_{x \to 0} \frac{\ln(\cos x)}{x^2} $ This is now $\frac{0}{0}$.
- Apply L'Hôpital's Rule: Differentiate numerator and denominator. $ \ln L = \lim_{x \to 0} \frac{-\sin x / \cos x}{2x} = \lim_{x \to 0} \frac{-\tan x}{2x} $
- Evaluate: We know $\lim_{x \to 0} \frac{\tan x}{x} = 1$. $ \ln L = -\frac{1}{2} $
- Final Answer: $ L = e^{-1/2} = \frac{1}{\sqrt{e}} $
The result is a specific, finite number strictly between $0$ and $1$, confirming again that $1^\infty$ is not "1".
The "Race" Analogy: Rates of Convergence
A helpful mental model for $1^\infty$ is a race between two competing tendencies:
- The Base ($f(x) \to 1$): Wants to pull the result toward $1$.
- The Exponent ($g(x) \to \infty$): Wants to amplify any deviation from $1$.
If the base approaches $1$ fast enough (
...it may settle on 1 too quickly for the exponent to leave any meaningful trace before the limit is evaluated.
The real question is one of speed: how rapidly the base approaches 1 compared to how rapidly the exponent grows. If the base’s deviation from 1 shrinks faster than the exponent’s influence can stretch, the limit may collapse to 1. If the base lags behind, the exponent can magnify even a tiny gap into something enormous, infinite, or finely tuned into a nontrivial constant.
This is why the logarithmic transformation remains indispensable. It strips away the confusing appearance of a giant number raised to a giant power and exposes the underlying product of smallness and infinity, which can then be analyzed rigorously.
In the end, the indeterminate form $1^\infty$ is not a single value waiting to be found. It is a reminder that limits behave differently depending on how quickly things converge or diverge. The final answer depends on the delicate balance between the base and the exponent, and the logarithm is the tool that reveals it.
