Completed recursion factorial