Prove which is greater: e^pi or pi^e?