# Lower bound for Euler's totient for almost all integers

Let $\varphi(n)$ be the Euler's totient function. It is well know that $\liminf_{n \to \infty} \frac{\varphi(n)}{n / \log \log n} = e^{-\gamma}$, so that for $\varepsilon > 0$ it results $\frac{\varphi(n)}{n} \geq \frac{e^{-\gamma}-\varepsilon}{\log \log n}$ for large $n$. Actually, the "local minima" of $\frac{\varphi(n)}{n}$ are attached for $n = p_1 \cdots p_k$ (the product of the first $k$ primes) and the set of primorial is really sparse. I wonder if it is known a lower bound for $\varphi(n)$ like: "$\varphi(n) / n \geq f(n)$ for all $n$ but a set of null asymptotic density", where $f(n)$ is a function bigger then $\frac{e^{-\gamma}-\varepsilon}{\log \log n}$.

-
For $n/\phi(n)$ "Small values of the Euler function and the Riemann hypothesis Jean-Louis Nicolas" might be related to your question. –  joro Aug 22 '13 at 14:21
Since the average value of $n/\phi(n)$ is bounded, it follows that for any function $f(n)$ tending to zero as $n$ tends to infinity one has $\phi(n)/n \ge f(n)$ except on a set of zero density. –  Lucia Aug 22 '13 at 17:08
@Lucia Thank you for your answer! However I can't find a reference for the average value of $n / \varphi(n)$, I know that average value of $\varphi(n) / n$ is $6 / \pi^2$, but $n / \varphi(n)$ I don't know. –  user21706 Aug 22 '13 at 19:21
I got. The average value of $n / \varphi(n)$ is $315\zeta(3)/(2\pi^4)$. "R. Sitaramachandrarao. On an error term of Landau II, Rocky Mountain J. Math. 15 (1985), 579-588" –  user21706 Aug 22 '13 at 19:59

Your question has been answered by Lucia already, but you might also be interested in looking up the Erd\H{o}s--Wintner theorem. A special case (proved already by Schoenberg) is that for each $u \geq 0$, the set of $n$ with $\phi(n)/n \leq u$ has an asymptotic density $D(u)$; moreover, $D(u)$ is continuous and increasing on $[0,1]$.
There are also estimates available for the size of $D(u)$ when $u$ is near zero, and of $1-D(u)$ when $u$ is near $1$. For this, see Erd\H{o}s's paper "Some remarks about additive and multiplicative functions": http://www.renyi.hu/~p_erdos/1946-11.pdf
Sorry, but I do know understand you answer. How do you prove that if $E$ is a set of null asymptotic density then $\liminf_{E \not\ni n \to \infty} \varphi(n) / (n / \log\log n) = e^-\gamma$ ? Thanks. –  user21706 Aug 22 '13 at 16:59