log2は有理数なのか【1分数学】