## Thinking Mathematically (6th Edition)

See Factorial Notation, page 696. $n!=n(n-1)(n-2)\cdots(3)(2)(1)$ and, by definition, $0!=1$ So if n is a positive integer, n! is obtained by multiplying all numbers from n down to 1.