Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematical Object

Double Factorial

Combinatorics and Graph Theory

The double factorial of a positive integer n, written n followed by two exclamation points, is the product of all the positive integers up to n that share the same parity as n, so that for even n it is the product of every even number from n down to 2, and for odd n it is the product of every odd number from n down to 1; for instance 5 double factorial equals 5 times 3 times 1, or 15, and 6 double factorial equals 6 times 4 times 2, or 48. Both 0 double factorial and negative-one double factorial are conventionally treated as empty products equal to 1, the term odd factorial is sometimes used specifically for the double factorial of an odd number, and a separate definition extends the double factorial to most complex numbers as well. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Object Kind
Operator 1
Connections

Is Kind Of Object

Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.

Sources
1. Double Factorial (Wikipedia)
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.