>>706

x = (√2)^(√2) とする。

xが有理数なら、これが求めるもの。
xが無理数なら、x^(√2) = 2 で、これが求めるもの。