Factorial Guide, Meaning , Facts, Information and Description
In mathematics, the factorial of a natural number n is the product of the positive integers less than or equal to n. This is written as n! and pronounced "n factorial". The notation n! was introduced by Christian Kramp in 1808.Since the exclamation mark, "!", is sometimes pronounced "bang" or "shriek", these words are occasionally used colloquially for "factorial" in pronouncing equations like n!.
The factorial function is formally defined by
Definition
For example,
This definition implies in particular that
because the product of no numbers at all is 1 (see empty product for an account of that fact). Proper attention to the value of the empty product is important in this case, because
- it makes the recursive relation (n + 1)! = n!(n + 1) work for n = 1;
- many identities in combinatorics would not work for zero sizes without this definition.
Applications
Factorials are important in combinatorics. For example, there are n! different ways of arranging n distinct objects in a sequence. (The arrangements are called permutations.) And the number of ways one can choose k objects from among a given set of n objects (the number of combinations), is given by the so-called binomial coefficient
Factorials are often used as a simple example when teaching recursion in computer science because they satisfy the following recursive relationship (if n ≥ 1):
- n! = n (n − 1)!
Calculating factorials
The numeric value of n! can be calculated by repeated multiplication if n is not too large. That is basically what pocket calculators do. The largest factorial that most calculators can handle is 69!, because 70! > 10100.
When n is large, ''n'\'! can be estimated quite accurately using Stirling's approximation:
Logarithm of the factorial
The logarithm of the factorial can be used to calculate the number of digits in a given base the factorial of a given number will take. log n! can easily be calculated as follows:
A good approximation for log n! is to take the logarithm of Stirling's approximation.
The related gamma function Γ(z) is defined for all complex numbers z except for the nonpositive integers (z = 0, −1, −2, −3, ...). It is related to factorials in that it satisfies a recursive relationship similar to that of the factorial function:
A common related notation is to use multiple exclamation points to denote a multifactorial, the product of integers in steps of two (n!!), three (n!!!), or more.
n!! denotes the double factorial of n and is defined recursively by
The double factorial is the most commonly used variant, but one can similarly define the triple factorial (n!!!) and so on. In general, the k-th factorial, denoted by n!(k), is defined recursively as
Occasionally the hyperfactorial of n is considered. It is written as H(n) and defined by
Generalizations
The gamma function
Together with the definition Γ(1) = 1 this yields the equation
Because of this relationship, the gamma function is often thought of as a generalization of the factorial function to the domain of complex numbers. This is justified for the following reasons.
Multifactorials
For example, 8!! = 2 · 4 · 6 · 8 = 384 and 9!! = 1 · 3 · 5 · 7 · 9 = 945. The sequence of double factorials (sequence A006882 in OEIS) for n = 0, 1, 2,... starts
One should be careful not to interpret n!! as the factorial of n!, which would be written (n!)! and is a much larger number.Hyperfactorials
For n = 1, 2, 3, 4,... the values of H(n) are 1, 4, 108, 27648,... (sequence A002109 in OEIS).
The hyperfactorial function is similar to the factorial, but produces larger numbers. The rate of growth of this function, however, is not much larger than a regular factorial.
Neil Sloane and Simon Plouffe defined the superfactorial in 1995 as the product of the first n factorials. So the superfactorial of 4 is
Superfactorials
In general
The sequence of superfactorials starts (from n=0) as
This idea can easily be extended to the superduperfactorial as the product of the first n superfactorials, starting (from n=0) as
and thus recursively to any multiple-level factorial where the mth-level factorial of n is the product of the first n (m-1)th-level factorials, i.e.
Clifford Pickover in his 1995 book Keys to Infinity defined the superfactorial of n, written as n$ (the $ should really be a factorial sign ! with an S superimposed) as
Superfactorials (alternative definition)
where the (4) notation denotes the hyper4 operator, or using Knuth's up-arrow notation,
Prime factorization of factorials
The power of p occurring in the prime factorization of n! is
