Maths WorkshopMaths problems with full solutions
Exercise 1472Calculus › Single-variable calculus › Integration › Riemann integralL1Added 2 Nov 2026

Bounds for n! by comparing with an integral

#factorial#integral comparison#Stirling

Statement

Prove that for every integer n≥1n\ge1,
e(ne)n≤n!≤e n(ne)n.e\left(\frac ne\right)^n\le n!\le e\,n\left(\frac ne\right)^n.

Hint

Write ln⁡n!=∑k=2nln⁡k\ln n!=\sum_{k=2}^n\ln k and compare with ∫1nln⁡x dx=nln⁡n−n+1\int_1^n\ln x\,dx=n\ln n-n+1, using that ln⁡\ln is increasing.

Show solutionHide solution

Solution

Antiderivative. ∫ln⁡x dx=xln⁡x−x\int\ln x\,dx=x\ln x-x, so ∫1nln⁡x dx=nln⁡n−n+1\int_1^n\ln x\,dx=n\ln n-n+1.

Lower bound. Since ln⁡\ln is increasing, ln⁡k≥∫k−1kln⁡x dx\ln k\ge\int_{k-1}^k\ln x\,dx for k≥2k\ge2. Summing from k=2k=2 to nn:
ln⁡n!≥∫1nln⁡x dx=nln⁡n−n+1.\ln n!\ge\int_1^n\ln x\,dx=n\ln n-n+1.

Upper bound. Since ln⁡\ln is increasing, ln⁡k≤∫kk+1ln⁡x dx\ln k\le\int_k^{k+1}\ln x\,dx. Summing from k=1k=1 to n−1n-1:
ln⁡(n−1)!≤∫1nln⁡x dx=nln⁡n−n+1,\ln(n-1)!\le\int_1^n\ln x\,dx=n\ln n-n+1,
so ln⁡n!≤nln⁡n−n+1+ln⁡n\ln n!\le n\ln n-n+1+\ln n.

Exponentiating. nln⁡n−n=ln⁡(ne)nn\ln n-n=\ln\left(\frac ne\right)^n, which gives exactly the two stated inequalities.

Check. For n=10n=10: e(10e)10≈1.23⋅106≤10!=3 628 800≤1.23⋅107e\left(\frac{10}e\right)^{10}\approx1.23\cdot10^6\le10!=3\,628\,800\le1.23\cdot10^7.

Remark. Stirling's formula n!∼2πn (n/e)nn!\sim\sqrt{2\pi n}\,(n/e)^n refines this: the true size lies between the two bounds, around n\sqrt n times (n/e)n(n/e)^n.