それに対して，関数ｆ（ｘ）＝ｘ^xはｘ≧０で定義されます．

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

［補題］関数ｙ＝ｘ^xを微分せよ．

ｌｏｇｙ=ｌｏｇｘ^x＝ｘｌｏｇｘ

　　（ｘｌｏｇｘ）’＝ｌｏｇｘ＋１

　　ｙ’＝ｙ（ｌｏｇｘ＋１）＝（ｌｏｇｘ＋１）ｘ^x

したがって，ｘ^xは０＜ｘ＜１／ｅでは単調減少，ｘ＞１／ｅでは単調増加．ｘ＝１／ｅのとき，最小値（１／ｅ）^1/e＝ｅ^-1/e＝０．９６２２・・・をとる（誤り）．また，ｔ・ｌｏｇｔはｔ→０のとき０となるから，

　　ｘ^x→１　　（ｘ→０）

ｙ＝ｘ^x=eの解はx=exp(Ω)

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

ｙ＝ｘ^xの最小点

最小値（１／ｅ）^1/e＝ｅ^-1/e＝０．６９２２０００・・・をとる．

ｙ＝ｘ^x^x^x^x^・・・

（１／ｅ）^e＝ｅ^-e＝０．０６５９８８・・・はこの関数が有限値に収束するｘの最小値である。

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