Recursive Factorial Function Time Complexity