Consider the following two problems:

- Show that if for some $x\in\mathbb R$ and for each $n\in\mathbb N$ we have $n^x\in\mathbb N$, then $x\in\mathbb N$.
- Show that if for some $x\in\mathbb R$ and for each $n\in\mathbb N$ we have $n^x\in\mathbb Q$, then $x\in\mathbb Z$.

The first of those is a somewhat infamous Putnam problem (A6 from 1971) and there is an elementary proof of this using calculus of differences and mean value results, which you can read here.

As mentioned in an answer here, the second problem follows from the six exponentials theorem, even if we only require $2^x,3^x,5^x$ to be rational. However, this solution is *very* non-elementary, and I suspect that using all values of $n$ we might be able to give an easier proof, just like we can for the first problem (though I'm aware the linked proof doesn't generalize).

Is it possible to solve the second problem with elementary means?