リンデマンの定理よりlog2は超越数であり、したがって無理数である.
log2