>>363
√2^(√2)のほうは Gel'fond-Schneider's theoremという大定理から従います。

log2(底はe)のほうは Lindemann's theoremから従います。

ともに証明はそこまで簡単ではありません。