Indeterminate Forms

Here are three limits. Try to guess the answer to each before reading further.

In every case, if you substitute x directly, the numerator goes to 0 and the denominator goes to 0. You get \frac{0}{0} in all three. But the three limits are completely different numbers:

Same \frac{0}{0}; three different answers. That is the whole point. \frac{0}{0} is not a number — it is a signal that the limit laws are not enough, and you need to do more work. The expression \frac{0}{0} does not tell you the limit; it tells you that the limit is hiding, and you have to find it by other means.

This is what mathematicians mean by an indeterminate form. The word "indeterminate" means "not determined" — not determined by the form alone. You cannot look at \frac{0}{0} and know the answer, because the answer depends on the specific functions involved, not just their limiting values.

Why does this happen? Because \frac{0}{0} is a race between two quantities, both heading to zero. The first limit above, \frac{x^2 - 4}{x - 2}, has the numerator heading to zero like (x-2)(x+2) — roughly twice as fast as the denominator (x-2). The ratio settles to 4. The third limit, \frac{x}{x^2}, has the numerator heading to zero slower than the denominator, so the ratio blows up. The outcome depends entirely on the relative speeds at which numerator and denominator vanish.

The seven forms

There are exactly seven expressions that can arise from naive substitution and that do not determine the limit by themselves.

Every entry in the table has a definite numerical answer — but that answer is not predictable from the form in the first column. A different example with the same form could give a completely different answer. That is what makes the form indeterminate: the form alone carries no information about the limit's value.

Why some forms are not indeterminate

Contrast the seven indeterminate forms with expressions that do determine the limit. For instance:

• \frac{c}{0} where c \neq 0: the limit is always \pm\infty (or does not exist). The numerator is heading to a nonzero number while the denominator collapses to zero, so the ratio must blow up. There is no way around it. This is determined — the form alone tells you the limit diverges.

• \frac{0}{c} where c \neq 0: the limit is always 0. The numerator vanishes while the denominator stays bounded away from zero.

• 0 \cdot c where c is finite: the limit is 0.

• \infty + \infty: the limit is \infty. Two things both growing without bound can only grow without bound together.

These are determined because no matter what specific functions produce the form, the answer is always the same. Indeterminate forms are special precisely because different functions with the same form can lead to different limits.

Form 1: \frac{0}{0} — the most common

This is the form you will meet most often, especially in calculus. The derivative itself is defined as a \frac{0}{0} limit:

When h \to 0, the numerator f(a+h) - f(a) \to 0 (assuming f is continuous) and the denominator h \to 0. Every derivative is a resolved \frac{0}{0} form. That is why the algebra of limits alone is not enough for calculus — the most important limit in all of calculus is a \frac{0}{0} form, and resolving it requires specific knowledge about the function involved.

Resolution strategies for \frac{0}{0}:

Factoring. If both numerator and denominator are polynomials, factor out the common root. The factor (x - a) appears in both (since both vanish at x = a), and cancelling it removes the 0/0.

Rationalising. When square roots are involved, multiply numerator and denominator by the conjugate.

Multiply top and bottom by \sqrt{1+x} + 1:

Standard limits. Some \frac{0}{0} forms resolve into known values that you memorise: \lim_{x \to 0} \frac{\sin x}{x} = 1, \lim_{x \to 0} \frac{e^x - 1}{x} = 1, and others. These cannot be factored or rationalised — they need geometric or series arguments. They are derived in the article on Standard Limits.

Substitution. Sometimes a change of variable converts the limit into a recognisable form. For example:

Set u = 3x. As x \to 0, u \to 0, and x = u/3:

Now \frac{e^u - 1}{u} \to 1, so the limit is \frac{3}{5}. The substitution reduced an unfamiliar \frac{0}{0} to a standard one.

Form 2: \frac{\infty}{\infty}

When both numerator and denominator grow without bound, the limit depends on how fast each one grows.

Both top and bottom approach \infty. Divide every term by the highest power of x in the denominator — here x^3:

The general rule for rational functions at infinity: the limit equals the ratio of the leading coefficients when the degrees are equal, 0 when the numerator has lower degree, and \pm\infty when the numerator has higher degree.

This is worth remembering as a three-case rule:

The intuition: when the degrees match, the lower-order terms become irrelevant compared to the leading terms, and you are left with the ratio of the leaders. When one polynomial has a higher degree, it grows faster and dominates.

Form 3: 0 \cdot \infty

One factor shrinks to zero while the other blows up. The outcome depends on the race between them. Convert to \frac{0}{0} or \frac{\infty}{\infty} by rewriting the product as a fraction.

Here x \to 0^+ (going to zero) and \ln x \to -\infty (blowing up). Rewrite as:

Now it is \frac{-\infty}{\infty}, which you can handle with techniques like L'Hôpital's rule (covered in a later article). The answer turns out to be 0 — the factor x wins the race and drags the product to zero.

The conversion trick is general: if you have f(x) \cdot g(x) where f \to 0 and g \to \infty, rewrite it as \frac{f(x)}{1/g(x)} (giving \frac{0}{0}) or as \frac{g(x)}{1/f(x)} (giving \frac{\infty}{\infty}). Either way, you have reduced the problem to a form you already know how to handle.

Form 4: \infty - \infty

Two quantities both grow without bound, and you are subtracting them. The difference could be anything — it depends on how fast each term grows.

Both \sqrt{x^2 + x} and x go to \infty. Rationalise by multiplying and dividing by the conjugate \sqrt{x^2 + x} + x:

Divide numerator and denominator by x (which is positive for large x):

The rationalisation trick converts \infty - \infty into a fraction where you can see the cancellation clearly.

Forms 5, 6, 7: the exponential indeterminates

The three remaining forms — 0^0, \infty^0, and 1^\infty — all involve exponentiation. They look like they should have definite values: "any number to the power zero is 1," and "1 to any power is 1." But those rules hold for fixed numbers, not for limits where both base and exponent are changing simultaneously.

The universal technique: take the logarithm. If L = \lim_{x \to a} f(x)^{g(x)}, then \ln L = \lim_{x \to a} g(x) \ln f(x). The exponent g(x) \ln f(x) is a product, which reduces the problem to form 3 (0 \cdot \infty) or a simpler form. Once you find \ln L, exponentiate to get L = e^{\ln L}.

1^\infty: the most important exponential form

The expression \left(1 + \frac{1}{n}\right)^n as n \to \infty is a 1^\infty form — the base approaches 1 and the exponent approaches \infty. The "rule" that 1 to any power is 1 would predict the answer is 1. The actual limit is e \approx 2.718. This is the very definition of the number e.

Take L = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n. Then:

Let t = 1/n, so as n \to \infty, t \to 0^+:

This is a \frac{0}{0} form (since \ln(1+0) = 0 and t \to 0), and it equals 1 by the standard limit \lim_{t \to 0} \frac{\ln(1+t)}{t} = 1. So \ln L = 1, which means L = e.

0^0: not always 1

Take \lim_{x \to 0^+} x^x. The base goes to 0 and the exponent goes to 0. Apply the logarithm:

This is the 0 \cdot \infty form from earlier. The result is 0. So \ln L = 0, which gives L = e^0 = 1.

But a different 0^0 form could give a different answer. That is the point — 0^0 is indeterminate.

\infty^0: not always 1

Take \lim_{x \to \infty} x^{1/x}. The base goes to \infty and the exponent goes to 0.

This is \frac{\infty}{\infty}. The denominator x grows faster than \ln x, so the limit is 0. Hence L = e^0 = 1.

The reduction map

Every indeterminate form can be reduced to \frac{0}{0} or \frac{\infty}{\infty} through one of three conversions:

• 0 \cdot \infty: rewrite f \cdot g as \frac{f}{1/g} (gives \frac{0}{0}) or \frac{g}{1/f} (gives \frac{\infty}{\infty}).
• \infty - \infty: combine into a single fraction (often by rationalising or finding a common denominator).
• 0^0, \infty^0, 1^\infty: take the logarithm. If L = \lim f^g, then \ln L = \lim g \ln f, which is a 0 \cdot \infty form, and you reduce further.

So ultimately, every indeterminate form funnels down to \frac{0}{0} or \frac{\infty}{\infty}. That is why L'Hôpital's rule — which handles exactly those two forms — is such a universal tool.

Putting it all together

Common confusions

• "\frac{0}{0} means the limit is 0 or is undefined." Neither. \frac{0}{0} is not a value at all — it is a label for a situation where the limit laws do not give an answer. The actual limit could be any real number, or \pm\infty, or it might not exist. You have to investigate each case individually.

• "1^\infty = 1 because 1 to any power is 1." That rule holds when the base is exactly 1. In a 1^\infty limit, the base is not 1 — it is approaching 1. The simultaneous motion of a base barely above 1 being raised to an enormous power produces a nontrivial result. The number e itself is born from exactly this race.

• "If I see \infty - \infty, I should write 0." Two quantities both going to \infty can differ by anything: 0, a finite constant, or \infty. The subtraction of infinities is not defined in real arithmetic. You must convert the expression to a tractable form before evaluating.

• "Indeterminate means the limit does not exist." The opposite is usually true. Most indeterminate forms you meet in practice have perfectly finite limits — the point is that you need algebraic work to reveal them.

• "There are only two indeterminate forms: \frac{0}{0} and \frac{\infty}{\infty}." There are seven. The exponential forms (0^0, \infty^0, 1^\infty) are less common in early calculus but appear frequently in JEE problems and in the definition of important constants like e.

Going deeper

Why exactly seven?

Consider all the ways two limits can combine under the four basic operations and exponentiation. Most combinations are determined: \frac{5}{3}, 0 + 7, 2^3, etc. — the limit laws handle them. The indeterminate forms are the ones where the limit laws give no information.

For quotients, the only problematic cases are \frac{0}{0} and \frac{\infty}{\infty}. For products, the only problematic case is 0 \cdot \infty (everything else is either zero, finite, or infinite — determinately). For differences, only \infty - \infty is problematic. For exponentiation, three cases arise: 0^0, \infty^0, and 1^\infty. Additions are never indeterminate (the sum law always applies when both limits are finite; when one is infinite, the sum is infinite).

That gives exactly 2 + 1 + 1 + 3 = 7 indeterminate forms. There are no others — every other combination of limiting values is determined by the algebra of limits.

The connection to L'Hôpital's rule

L'Hôpital's rule is a powerful tool specifically designed for \frac{0}{0} and \frac{\infty}{\infty} forms. It says: if \lim_{x \to a} \frac{f(x)}{g(x)} is a \frac{0}{0} or \frac{\infty}{\infty} form, and the limit of \frac{f'(x)}{g'(x)} exists, then

You replace the functions with their derivatives and try again. This is a separate theorem, not part of the algebra of limits — it relies on the mean value theorem and requires the functions to be differentiable. But it is often the fastest way to resolve a \frac{0}{0} or \frac{\infty}{\infty} form, and it handles the other five forms too once you convert them to quotients.

A complete classification

The seven "Yes" entries are exactly the indeterminate forms. Everything else is determined.

Where this leads next

• Standard Limits — the specific \frac{0}{0} limits that come up so often they are worth memorising: \frac{\sin x}{x}, \frac{e^x - 1}{x}, \frac{\ln(1+x)}{x}, and more.
• L'Hôpital's Rule — the derivative-based shortcut for \frac{0}{0} and \frac{\infty}{\infty} forms, and the theorem behind it.
• Continuity — the formal connection between limits and function values: continuous functions are exactly the ones where no indeterminate form arises at any point.
• Derivative — every derivative is a resolved \frac{0}{0} limit. Once you see this, the derivative definition stops being mysterious.
• Squeeze Theorem — another technique for evaluating limits, complementary to algebraic manipulation.