自作問題No.16

問題

不等式$\sqrt{e}^{(\sqrt{\pi}^{\sqrt{e}})}<\sqrt{\pi}^{(\sqrt{e}^{\sqrt{\pi}})}$を証明せよ。