>>759 スルーでも構わないけど・・・
＞ >>713
＞ y=x と
＞ y=（√2)^x = e^(xlog√2)
＞ のグラフは、x=2と x=4 で交わるので云々

y=（√2)^x のグラフは下に凸
2 ＜√5 ＜4 より
√5 ＞ (√2)^(√5 )

こっちの方がシンプルだと思うんだなぁ