factorial(4)