Recursive Definitions
N!, for any positive integer N, is defined to be the product of all integers between 1 and N inclusive
This definition can be expressed recursively as:
The concept of the factorial is defined in terms of another factorial
Eventually, the base case of 1! is reached