ABSTRACT
This definition is recursive because it defines factorial in terms of another factorial; in this case, n! is defined in terms of (n− 1)!. Recursive definitions have two key features:
Recursive steps use smaller arguments. In this example, the factorial of n is computed using the smaller argument n− 1.
