>>415
log[2](3)=p/q (p,qは整数 q≠0)とすると
3^q=2^p
素因数分解の一意性から矛盾

どこにeの超越性を使ってるんだ？ん？