>>50
ベイカーの定理使っていいなら

はてなブログ/entry/2017/06/25/143500

↑これの系６からπ+log2>0より
π+log2 = -2i log(2i) + log2
は超越数