Go backward to Product IdentitiesGo up to TopGo forward to Binomial |

*Definition:*
The *factorial* of a natural number `n` is the product
of all non-zero numbers less than or equal `n`:

n! := (prod_{1 <= i <= n}i).

*Handy notation for a particular product.*

Author: Wolfgang Schreiner

Last Modification: November 16, 1999