I came across this apparent random question in some math questions website. At first, I thought it was easy to show that there are no non-trivial integer solutions to this equation, but then I realized that the question is far beyond what I can answer.
Irrationality and transcendence of $\pi$ play no role I think, because if we change $\pi$ with $\log_2(9)$ there are non-trivial solutions. My question is, Do you know some tool to attack this kind of problem?
I'll immediately delete this question if you think it's outside the scope of MathOverflow, but I know there are really knowledgeable people here who could say something about this, and my "innocent" curiosity for this question made me post it here. Thank you for your attention.
PS: more accurate tags for the question are also welcomed.