Skip to main content
3 of 6
Added extra info
Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169

This should help, but it's late here:let $d = \phi(n)$ and assume $n>2$.Then the primitive $n$-th roots of unity occur in $d/2$ complex conjugate pairs, and the GM-AM inequality applied to the (positive) contributions from each pair gives $\Phi_n(p)/p^d \leq (1 + \frac{1}{p^2}+ \frac{2}{dp})^{d/2}$, since the sum of the primitive $n$-th roots of unity is at most $1$. This is less than $e^{1/p}(1+ \frac{1}{p^{2}})^{d/2}$.Second term in product is at most $ e^{d/2p^{2}}$,so the quotient you are interested in is at most $e^{1/p + 2/p^{2}}$, as compared with $\sum_{j=0}^{\infty} 1/p^{j}$.

Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169