ｘ^ｘ^ｘ^ｘ^ｘ^・・・＝mのとき，

ｘ^（ｘ^ｘ^ｘ^ｘ^ｘ^・・・）＝ｘ^m＝ｍ

と書き変えることができて

　　ｘ＝m^1/m　

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

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

ｌｏｇｙ=ｌｏｇｘ^1/x＝（ｌｏｇｘ）／ｘ

　　（（ｌｏｇｘ）／ｘ）’＝（1−ｌｏｇｘ）／ｘ^2

　　ｙ’＝ｙ（1−ｌｏｇｘ）／ｘ^2＝（１−ｌｏｇｘ＋１）ｘ^1/x-2

したがって，ｘ＝ｅのとき，最大値１．４４４６６４７８６１・・・をとる．

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

実は、関数ｆ（ｘ）＝ｘ^（ｘ^ｘ^ｘ^ｘ^ｘ^・・・）は区間［ｅｘｐ（−ｅ），ｅｘｐ（１／ｅ）］で定義されることをオイラーが示しています．

ｅｘｐ（−ｅ）＝０．０６５９８８０３５８４・・・＜１

ｅｘｐ（１／ｅ）＝１．４４４６６７８６１００＞√２＞１

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