πのざっくりした値しかつかってない
そんな証明が通用するなら
p = log(1.1447298858494)
= 3.14159265358979269...
とおくときexp(p)=1.1447298858494は無理数になってしまう