- 386 名前：１３２人目の素数さん mailto:sage [2006/11/07(火) 22:47:36 ]
- e^π とπ^eの大小関係について。
0＜x,yの時
x^y ＞ y^x
ylog(x) > xlog(y)
log(x)/x > log(y)/x
従って、e^π とπ^eの大小関係を論じるためには
log(e)/e と log(π)/πの大小関係を論じればよい。
f(x)=log(x)/x と置いて、f'(x)を計算すれば
f'(x)=log(x)*(-1/(x^2)) + 1/(x^2)
=(1-log(x))/(x^2)
となり、x≧eの時、f(x)は単調減少関数。このため、
log(e)/e > log(π)/π
