Quick question: It's known that $$\limsup\frac{n}{\varphi(n)\log\log n}=e^\gamma$$ but are there known C and N such that $$\varphi(n)>\frac{Cn}{e^\gamma\log\log n}$$ for all $n>N$?
Failing that, what are good effective bounds on $\varphi$? The square root bound isn't good enough for me.