How to prove$\forall n\ge5 $
$$\phi(n)\ge \frac{n}{6\log \log (n)} $$
$\phi$ is Euler function
Thanks in advance