Asymptotic Growth of Euler Phi Function

Theorem
Let $\phi$ be the Euler $\phi$ function.

For any $\epsilon > 0$ and sufficiently large $n$:


 * $n^{1 - \epsilon} < \map \phi n < n$

Proof
It is clear that $\map \phi n < n$ for all $n$, so it is sufficient to prove that:


 * $\ds \lim_{n \mathop \to \infty} \frac {n^{1 - \epsilon} } {\map \phi n} = 0$

By Multiplicative Function that Converges to Zero on Prime Powers it is sufficient to prove that:


 * $\ds \lim_{p^k \mathop \to \infty} \frac {p^{k \paren {1 - \epsilon} } } {\map \phi {p^k} } = 0$

as $p^k$ ranges through all prime powers.

By Euler Phi Function of Prime Power we have:
 * $\map \phi {p^k} = p^k - p^{k - 1}$

for a prime power $p^k$.

Therefore:

Therefore:


 * $\ds \lim_{p^k \mathop \to \infty} \frac {p^{k \paren {1 - \epsilon} } } {\map \phi {p^k} } \le \lim_{p^k \mathop \to \infty} \frac 2 {p^{k \epsilon} } = 0$