ｘ≧０について，ｅ^x≧ｘ^eが成り立つ．　　（等号はｘ＝ｅのとき）

（証）ｙ＝ｘ^eｅ^-x　　（ｘ≧０）とする．

　　ｄｙ／ｄｘ＝（ｅｘ^e-1−ｘ^e）ｅ^-x

　　ｄ^2ｙ／ｄｘ^2＝（ｅ（ｅ−１）ｘ^e-2−２ｅｘ^e-1＝ｘ^e）ｅ^-x

よりｘ^eｅ^-x≦１．　　（ｘ＝ｅのときｙ＝１）

　実際，

　　ｅ^π＝２３．１４０６９・・・

　　π^e＝２２．４５９１５・・・

となり両者は驚くほど近いが，ｙのグラフを描いてみればｙは幅のある最大値をもち，２つの式の値がほとんど同じくらいになることもわかるのである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝