条件 f′′(x)<0 より −1<u<v なら f′(u)>f′(v) が成り立つ。さらに f(0)=0, f′>0 から x>0 では f(x)>0 である。
(1)(a,f(a)) における接線を L(x)=f(a)+f′(a)(x−a) とする。a−21≧0 であり、0≦x<a では f′(x)>f′(a) だから
f(a)=∫0af′(x)dx>af′(a)≧21f′(a).
従って L(a−21)>0 で、接線は指定された縦線の間で x 軸より上にある。両端の高さは f(a)−21f′(a) と f(a)+21f′(a) である。幅1の台形の面積は
21{f(a)−21f′(a)+f(a)+21f′(a)}=f(a).
(2)f′′<0 なので、区間端点を結ぶ弦は区間内部でグラフより下にあり、その弦の積分は端点値の平均である。よって
21{f(a−21)+f(a+21)}<∫a−1/2a+1/2f(x)dx.
一方、f′ が減少することから x=a では f(x)<f(a)+f′(a)(x−a). この接線を区間で積分すると、一次の項は対称性により相殺されて f(a) となる。したがって
∫a−1/2a+1/2f(x)dx<f(a).
(3)f は x≧0 で増加するので ∫0nf(x)dx<k=1∑nf(k). また f(x)>0 (0<x<1/2) より ∫1/2nf(x)dx<∫0nf(x)dx. これで左側の不等式が従う。
右側は (2) を a=k+21 (k=0,1,…,n−1) に適用して
2f(k)+f(k+1)<∫kk+1f(x)dx.
これらを加えると、f(0)=0 よりk=1∑n−1f(k)+21f(n)<∫0nf(x)dx.
従って k=1∑nf(k)<∫0nf(x)dx+21f(n).
(4)log(n!)=k=2∑nlogk とおく(log は自然対数)。logx は x≧1 で増加するので
∫1nlogxdx<k=2∑nlogk<∫2n+1logxdx.
両端を積分するとnlogn−n+1<log(n!)<(n+1)log(n+1)−(n+1)−2log2+2.
両端を nlogn で割ると、それぞれの比は 1 に収束するからnlognlog(n!)⟶1.
よって(n!)1/(nlogn)=exp(nlognlog(n!))⟶e.