MATHEMATICAL MYSTERIES

What Comes After the Exclamation Mark

Halfway between 0! and 1!, the factorial gives us √π. The gamma function shows why.

There is a small symbol in mathematics that looks harmless at first.

It is just an exclamation mark.

Write 5!, and we read it as “five factorial”. It means:

That is the basic idea. The factorial of a positive integer is the product of all positive integers from that number down to 1.

For a general positive integer n, we write:

The definition is simple. The consequences are not.

The factorial appears whenever we count arrangements, choices, combinations, and many forms of ordered structure. It is one of the first mathematical objects that teaches us how quickly numbers can escape our intuition.

The factorial as a descending staircase: each step adds one more multiplication, so 5! becomes 5×4×3×2×1=120.

The Meaning Of The Factorial

Suppose we have five different books and we want to place them on a shelf.

For the first position, we have 5 choices. Once one book is placed, we have 4 choices for the second position. Then 3 choices. Then 2. Then 1.

So the total number of possible arrangements is:

This gives 120. Five books can be arranged in 120 different ways.

Now try ten books.

Ten books already have more than three million arrangements.

This is the first surprise. The factorial is not just growing. It is exploding.

The factorial grows extremely fast. By the time we reach 10!, the value has already jumped to 3,628,800.

The Number That Grows Too Fast

Let us look at a few values.

If we go further, we get

The jump from 10! to 20! is dramatic. We only doubled the input from 10 to 20, but the output grew from millions to quintillions.

This is why factorials appear naturally in problems where the number of possibilities becomes too large to inspect one by one. Scheduling, route planning, card shuffling, cryptography, statistical mechanics, and combinatorial optimization all meet this kind of growth.

A standard deck of 52 cards has: 52! possible orderings. This number is so large that ordinary intuition fails. It is approximately:

That is an 8 followed by 67 digits, approximately. It is vastly larger than the number of seconds that have passed since the beginning of the universe.

A logarithmic scale makes the factorial’s growth visible beyond 10!. Even on this compressed scale, the curve rises rapidly, reaching about 3.0×10⁶⁴ by 50!.

Why Zero Factorial Equals One

There is one definition that often feels strange when we first meet it:

At first, this looks like a trick. How can the product of no numbers be 1?

But this convention is not arbitrary. It keeps the mathematics consistent.

Factorials satisfy the recurrence relation:

Now set n = 1:

Since 1! = 1, the only consistent value is:

There is also a counting interpretation. The number of ways to arrange zero objects is one. It is the empty arrangement. Nothing is placed, but the arrangement exists.

This idea appears often in mathematics. Empty products are usually taken to be 1, just as empty sums are usually taken to be 0. The convention is chosen so that the surrounding structure does not break.

Where Factorials Appear

Factorials are everywhere in combinatorics.

One common case is the number of ways to choose k objects from n objects, when the order does not matter. This is given by the binomial coefficient:

Suppose a small club has 5 members and wants to choose 2 people to represent it. The order does not matter. Choosing Alice and Bob is the same as choosing Bob and Alice. The number of possible pairs is:

So from only 5 people, there are already 10 different two-person teams.

This formula appears in probability, statistics, algebra, and the binomial theorem.

Factorials also appear in Taylor series. The exponential function, for example, can be written as:

The factorial in the denominator controls the growth of the powers of x. Without it, the series would behave very differently.

Factorials also appear in the sine and cosine series:

So the factorial is not just a counting device. It is built into the way smooth functions are expanded, approximated, and understood.

A Question That Should Feel Impossible

The factorial is defined for whole numbers.

We understand 5!. We understand 10!. We understand 100!, even if the number is too large to write comfortably.

But what about this?

What could that mean?

The original definition does not help. The expression 5! means 5⋅4⋅3⋅2⋅1. The factorial is discrete. It lives naturally on the non-negative integers: 0, 1, 2, 3, 4, 5, … But mathematicians often ask a powerful question:

Can we find a smooth function that agrees with the factorial at the integers?

In other words, can we draw a curve through the factorial values?

Euler’s Interpolation Problem

The question of extending factorials is not new.

In the 18th century, Leonhard Euler studied the problem of interpolating the factorial sequence. The values were known at the integers. The challenge was to find a function that passed through these values in a meaningful way. Not just any curve would do. It had to preserve the structure of the factorial.

Euler found expressions that led to what we now call the gamma function. Later, Adrien-Marie Legendre introduced the notation Γ, together with the shifted convention:

This shift is slightly annoying at first. If Γ(n) is meant to extend the factorial, why does it give (n−1)! instead of n!?

Many readers have exactly this reaction, and they are in good company. Gauss preferred a different notation, closer to the factorial itself. But Legendre’s notation survived, and today Γ(x) is one of the standard special functions of mathematics.

A Curve Through The Factorials

Gamma function is usually written as:

It is related to the factorial by the formula:

For example:

So if we want to express the factorial using the gamma function, we write:

This is the small shift that readers must keep in mind. The gamma function takes factorial values at the integers, but shifted by one.

The Integral Behind The Gamma Function

The gamma function can be defined by the integral:

At first sight, this formula seems unrelated to factorials.

There is an exponential decay term, e^(−t). There is a power term, t^(x−1). The integral extends from 0 to infinity.

Why should this have anything to do with the product 1⋅2⋅3⋯n?

The answer is that the integral is not just any integral. It has a built-in stepping behavior. If we increase the input from x to x+1, the function changes in almost the same way that factorials change when we move from one integer to the next.

That stepping behavior is what allows the gamma function to pass through the factorial values.

The factorial gives us isolated points. The gamma function gives us the landscape between them.

The gamma function forms a smooth curve through the factorial values. At each positive integer x, it matches the shifted factorial relation Γ(x) = (x−1)!.

Why The Recurrence Works

The gamma function is defined by an integral, but the reason it behaves like a factorial is the recurrence relation. This relation can be proved using a standard calculus technique called integration by parts. The details are not essential here, but the idea is simple enough.

Multiplying the gamma function by x shifts the curve by one unit, visually expressing the recurrence relation xΓ(x) = Γ(x+1). Animation by Jacopo Bertolotti, Wikimedia Commons, CC0 1.0 Universal Public Domain Dedication.

When we compare Γ(x+1) with Γ(x), the power of t inside the integral increases by one. Integration by parts moves that extra power outside the integral as a multiplying factor x. What remains inside the integral is exactly the original gamma function.

So the integral definition gives us:

This is the continuous version of the factorial rule:

Now we can see the factorial inside the gamma function. For example:

Continuing this process:

Since:

we get:

The factorial is hiding inside the integral.

The Half Factorial

Now we can return to the strange question:

Using the gamma function, we define:

So:

To find this value, we first need one of the most famous gamma values:

This is the moment where the story becomes unexpectedly beautiful. Why should π, the number of circles, appear inside a function that began with counting arrangements?

The answer comes from the integral definition. Put x = 1/2 in the gamma integral:

Now make the substitution:

This turns the gamma integral into:

The integral of e^(−u²) is the famous Gaussian integral. Over the whole real line, it satisfies:

The area from 0 to infinity is half of this value. Therefore:

Now we use the recurrence relation:

Therefore:

So:

We started with a tool for counting books and shuffling cards. Then we asked what happens between the integers. And when we looked halfway between 0! and 1!, we did not find an ordinary fraction.

We found √π​.

The circle was hiding inside the counting problem.

The gamma curve fills the gaps between factorials. Halfway between 0! and 1!, the extended factorial gives (1/2)! = √π/2 ≈ 0.886.

What 2.5 Factorial Means

The gamma function creates a smooth continuation of the factorial.

At integer values, it agrees with factorials through:

But between the integers, it gives values that the original factorial definition could never provide.

For example, 2! = 2 and 3! = 6. The gamma function lets us ask what 2.5! should be:

Using the recurrence relation, this gives:

Numerically:

This is not a counting problem anymore. We are not arranging two and a half objects. Instead, we are extending the factorial as a mathematical function.

Is The Gamma Function The Only Choice?

At this point, a natural question appears. Is the gamma function the only possible curve through the factorial values?

The short answer is no. If all we ask for is a smooth curve that passes through the points:

then infinitely many curves can be constructed.

But the gamma function is not chosen just because it passes through those points. It is chosen because it also respects the factorial recurrence:

It also behaves regularly. More precisely, under a condition called logarithmic convexity, the gamma function becomes the unique natural extension of the factorial on the positive real numbers.

So the gamma function is not merely “a curve someone drew through the factorials”. It is the curve that survives once we ask for the right structure.

The Cascade Of Poles

The gamma function also reaches into negative values, but with restrictions.

It is not defined at:

These are singularities, or poles. Near these values, the gamma function blows up.

The recurrence explains why. If:

then going backward gives:

At x = 0, this would require division by zero. The first pole appears, and the same problem cascades backward through −1, −2, −3, and so on.

This means that expressions such as:

or similarly

are not defined through the gamma function, because Γ(0) and Γ(−1) are not finite.

However, the gamma function is defined for many negative non-integer values. For example, Γ(−1/2) exists. Using the recurrence relation:

Since:

we get:

So the gamma function has a rich structure on the negative side, but it cannot pass through zero and the negative integers.

The gamma function is not defined at zero and the negative integers. These vertical dashed lines mark the poles where Γ(x) blows up instead of taking a finite value.

Where The Gamma Function Appears

It would be too small to describe the gamma function only as “factorial for non-integers”. That is the easiest doorway into the idea, but the function is much broader.

It appears in probability distributions. The gamma distribution, beta distribution, chi-square distribution, and Student’s t-distribution all involve the gamma function. These distributions are used in statistics, reliability analysis, Bayesian inference, engineering, physics, and data science.

It appears in calculus and analysis. Many integrals that involve exponentials and powers can be expressed using gamma functions.

It appears in physics. Problems involving energy distributions, quantum mechanics, thermodynamics, and statistical mechanics often lead to gamma-like expressions.

It appears in asymptotic analysis. When factorials become too large, they are often approximated through related formulas such as Stirling’s approximation:

For n = 10, the true value is:

Stirling’s approximation gives about:

That is already within about one percent. As n grows, the approximation becomes remarkably accurate.

The gamma function also extends naturally to complex numbers. In the complex plane, it becomes a deeply structured object with poles, reflection formulas, and connections to other special functions.

The gamma function in the complex plane. The surface height represents the magnitude of Γ(z), while the colors encode its phase, revealing the richer structure that appears beyond the real number line. Image: WalkingRadiance, Wikimedia Commons, CC BY-SA 4.0.

For a general audience, though, the main idea is already powerful enough:

The factorial begins as a counting tool. The gamma function turns it into a continuous mathematical object.

From counting to the gamma function: the factorial begins with discrete arrangements, while the gamma function extends the same idea into a continuous landscape with applications across mathematics, physics, and probability.

The Exclamation Mark Was Only The Beginning

The factorial looks like elementary arithmetic. It starts with multiplication:

Then it becomes counting. Then it becomes growth. Then it appears in series, probability, statistics, and physics.

And then the gamma function appears and says: the story does not stop at whole numbers.

With this single extension, values like (1/2)! become meaningful, π unexpectedly enters the picture, and the discrete staircase of factorials becomes part of a smooth curve.

The factorial is born in the world of whole numbers. It counts arrangements. It counts possibilities. It belongs to the discrete world.

The gamma function belongs to the continuous world. It is defined by an integral. It lives on curves. It moves smoothly between values.

And yet the two are connected.

Each extension in mathematics preserves something from the original idea, but it also changes the landscape. Integers lead to fractions. Fractions lead to real numbers. Real numbers lead to complex numbers.

The factorial leads to the gamma function.

The exclamation mark was never just punctuation.

It was a doorway.

Cover image: A visual metaphor for the gamma function: a smooth curve continues the factorial beyond whole numbers, leading to the surprising value (1/2)! = √π/2. Generated with AI tools for this article.