>>411
log[2](3)が無理数であることは、
eが超越数であることから導かれる。
eの超越性は、超高校級かなと思う。