1

So far I have

$${{\phi(n)^2} \over n} = n \prod_{i = 1}^k \left(1 - {1 \over p_i}\right)^2$$

We know that $$\left(1 - \frac{1}{p_i}\right) \geq \frac{1}{2}$$

So $$n \prod_{i = 1}^k \left(1 - {1 \over p_i}\right)^2 \geq \frac{n}{4^k} = \frac{n}{2^{2k}}$$

Want to show that $$\frac{n}{2^{2k}} \geq \frac{1}{2}$$

$n \geq 2^{2k - 1}$

Got stuck here. Any help to prove this?

EDIT: Ok so I looked at the answer in the thread provided and I don't understand how $\frac{\phi(n)^2}{n}= \prod_{p|n \ \text{prime}} \frac{(p^{a_p-1}(p-1))^2}{p^{a_p}}$

There's a factor of n missing since the $\phi$ function is being squared

  • 5
    This link you may find useful: http://math.stackexchange.com/questions/527946/prove-that-phin-geq-sqrtn-2?rq=1 – Subhash Chand Bhoria Oct 28 '16 at 18:43
  • Re: your EDIT: if you have a question about an answer in the other thread, you can either ask it in a comment there (if it's quick), or ask a new question, link back to the answer you are stuck on, and ask why the factor of $n$ missing there. – Caleb Stanford Oct 30 '16 at 18:20
  • However, the answer in the other thread is correct as far as I can see. No missing factor of $n$. – Caleb Stanford Oct 30 '16 at 18:30

1 Answers1

2

$$1\leq p\left(1-\frac{1}{p}\right)^2$$ except when $p=2$.