If log 2 is algebraic over ℚ(π), then 2^{i log 2/π} and e^{π²/log 2} are transcendental

Initializing...

If log 2 is algebraic over ℚ(π), then 2^{i log 2/π} and e^{π²/log 2} are transcendental · Prove2Me