log(factorial(1000))