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

a) Prove that for the estimate

holds.

b) Prove that the function defined by

for is increasing.

c) Prove that .

d) Prove that for the factorial function for the estimate

holds.