Factorial function/Increasing/10! geq e^(11)/Estimate with exponential function/Exercise