■指数タワー関数の怪(その2)

x^x^x^x^x^・・・=mのとき,

x^(x^x^x^x^x^・・・)=x^m=m

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

  x=m^1/m 

===================================

[補題]関数y=x^1/xを微分せよ.

logy=logx^1/x=(logx)/x

  ((logx)/x)’=(1−logx)/x^2

  y’=y(1−logx)/x^2=(1−logx+1)x^1/x-2

したがって,x=eのとき,最大値1.4446647861・・・をとる.

 g(x)=(logx)/x

g’(x)=(1−logx)/x^2

について

  loge/e>logπ/π

であるから,

  e^π>π^e

 実際,

  e^π=23.14069・・・

  π^e=22.45915・・・

3^2>2^3

===================================