>>277
示すべき不等式は、
f(23)-f(π)>1
と同値
ただし、
f(x)=ln(lnx)
この時、
f'(x)=1/(xlnx)>0(x>1)
より、
f(23)-f(π)≧1
ここで、
f(23)-f(π)=1
とすると、
e=ln(23-π)>ln19⇔ln(ln19)<1⇔ln19<1
一方、
ln19>lne=1
となるので不適である。
以上より示された。