>>363

大抵、無理数性を証明する方法は、有理数と仮定して矛盾を導くやり方。

ていうかlog 2の場合底がeなんだから無理数だろ。