しかし√2^√2の無理性は相当に難しい
log[2]9の無理性なら高校生でも理解できる
その意味では√2^log[2]9の方に分がある気もする