We consider throughout the rest of this part a real $\alpha$. We assume that for every prime number $p$, $p^\alpha$ is a natural number. We propose to show that $\alpha$ is then a natural number.
Show that for every integer $k$ strictly positive, $k^\alpha$ belongs to $\mathbb{N}^*$.