>>411
　e^(1-t) = 1/e^(t-1) < 1/t より、
　e^{1 -e^(1-x)} < e^{1-(2-x)} = e^(x-1) = {e^(1 -1/x)}^x < x^x.
　両辺を e^(e-1)乗して、x=e-1 とOK.

http://science4.2ch.net/test/read.cgi/math/1116752400/446