The factorial is a convenient shorthand way to write the product of several consecutive positive whole numbers. The formula for the factorial can be seen above. By convention we define 0! = 1.

As we will see, other formulas dealing with counting build upon the factorial formula.