>>355
log2 の無理数性

>>360
√2^√2 の無理数性

の証明は簡単?