Add the recursive factorial function.