(1) 部分積分によって ∫0a(a−x)exdx=[(a−x)ex]0a+∫0aexdx=−a+(ea−1). 移項して求める等式を得る。
(2) (a−x)n=−{(a−x)n+1/(n+1)}′ を用いて部分積分すると ∫0a(a−x)nexdx=[−n+1(a−x)n+1ex]0a+∫0an+1(a−x)n+1exdx=n+1an+1+∫0an+1(a−x)n+1exdx.
(3) (2) を n=1,2 の順に使うと ∫0a(a−x)exdx=2a2+21∫0a(a−x)2exdx=2a2+6a3+∫0a6(a−x)3exdx. これを (1) に代入すればよい。
(4) 0≦x≦a では (a−x)3≧0,ex≦ea。従って ∫0a6(a−x)3exdx≦6ea∫0a(a−x)3dx=24a4ea. (3) に代入すると題意の不等式を得る。
(5) (4) で a=1 とすると e≦1+1+21+61+24e=38+24e,e≦2364. 64⋅5=320<322=14⋅23 より 64/23<14/5=2.8。従って e<2.8。