>>132
ややこしくて回りくどい市ねｗ

ただ>>129
log_3{5}≠3/2じゃないことは明らかだが
果たしてこれだけで「log_3{5}は有理数でない（＝無理数）」の証明になってると思うか？