Factorial
The product of the positive integers up to n, written n!.
Wikipedia
FactorialMathWorldFactorialWikidataQ120976Encyclopedia of MathematicsFactorialnLabfactorialBritannicatopic/factorialDLMF5.2FungrimFactorial✓Fungrim entryOEISA000142Wolfram LanguageFactorial✓mathlib4Nat.factorialRosetta CodeFactorialDetails
by convention, the empty product. - Recurrence:
. - Extends to non-integers via the Gamma function,
, so half-integer factorials involve . - Grows faster than any exponential; Stirling's approximation
describes the asymptotics. - compute-engine returns ComplexInfinity at negative integers, the poles of Gamma, rather than leaving the expression unevaluated.
Examples
See also: Binomial, Factorial2, Subfactorial, Pochhammer