The factorial of 10000 is being computed.