The factorial function, , defined recursively is: ?

  • Basis step: and .
  • Recursive step: If then .