>(3)a^bは無理数
a=e, b=log2 の場合だけど、
e, log2が無理数であることを示すのは、Fランクでは激難かも。