Intereting Posts

Meaning of mathematical operator that consists of square brackets with a plus sign as a subscript
Constructing the midpoint of a segment by compass
Is there a name for a group having a normal subgroup for every divisor of the order?
How can you derive $\sin(x) = \sin(x+2\pi)$ from the Taylor series for $\sin(x)$?
Counting $k$-ary labelled trees
Complex integral help involving $\sin^{2n}(x)$
How to calculate Maximum or Minimum of two numbers without using if?
Finding the rate of change in direction
The dual space of $c$ is $\ell^1$
Question on the normal closure of a field extension
Strong equidistribution of points on the n-sphere
Locally compact nonarchimedian fields
Is a proof also “evidence”?
The physical meaning of the tensor product
Square root of a matrix

For each positive integer $k$, let $P_k$ denote the product of the first k primes. Show that $\varphi(P_k) = \theta(P_k / \log \log P_k)$ is the worst case, in the sense that $\varphi(n) = \Omega(n / \log \log n)$.

Any help would be appreciated. Thanks

- Counting the Number of Integral Solutions to $x^2+dy^2 = n$
- Integer solutions of $x^3 = 7y^3 + 6 y^2+2 y$?
- Calculating the Zeroes of the Riemann-Zeta function
- How to explain to a 14-year-old that $\sqrt{(-3)^2}$ isn't $-3$?
- Continued fraction of a square root
- Finding all solutions of $x^{11}\equiv 1\bmod23,$

- Does $a^3 + 2b^3 + 4c^3 = 6abc$ have solutions in $\mathbb{Q}$
- What is the smallest prime of the form $n^n+8$?
- Problem Heron of Alexandria.
- What is the importance of the Collatz conjecture?
- Norm of Prime Ideal
- Diophantine equation: $n^p+3^p=k^2$
- Show that $u_1^3+u_2^3+\cdots+u_n^3$ is a multiple of $u_1+u_2+\cdots+u_n$
- Why there isn't any solution in positive integers for $z^3 = 3(x^3 +y^3+2xyz)$?
- Sums of powers being powers of the sum
- Units of p-adic integers

The overall result is due to Landau, 1903, Theorem 328 in Hardy and Wright, that

$$ \liminf \; \frac{e^\gamma \phi(n) \log \log n}{n} = 1, $$ proof in section 22.9.

Oh, well. Note that the statement you think you are trying to prove is incorrect. Nicolas showed that if the Riemann Hypothesis is true, then whenever $n = 2 \cdot 3 \cdot 5 \cdots p_k$ is a primorial, then $\frac{e^\gamma \phi(n) \log \log n}{n} < 1.$ If the Riemann Hypothesis is false, then $\frac{e^\gamma \phi(n) \log \log n}{n} < 1$ for infinitely many primorials $n$ and $\frac{e^\gamma \phi(n) \log \log n}{n} > 1$ for infinitely many primorials $n.$ As the Rosser and Schoenfeld lower bound from my earlier post and Wikipedia holds for all numbers greater than 2, this says that the ratios depicted that are below 1 are awfully close to it.

For more precise information, see both my answers at Is the Euler phi function bounded below?

sources: NICOLAS and a comment at PLANAT

- Creating a bijection from $(a,b)$ to $\mathbb R$ that is visually compelling
- Is the following matrix invertible?
- Intuitive Explanation of Morphism Theorem
- (Fast way to) Get a combination given its position in (reverse-)lexicographic order
- Why are the two dot product definitions equal?
- Why is “$P \Rightarrow Q$” equivalent to “$\neg Q \Rightarrow \neg P$”?
- Limit of a periodic function
- $(X \oplus_p Y)^*$ isometric to $(X^*\oplus_q Y^*)$
- How do I teach university level mathematics to myself?
- Why is $SO(3)\times SO(3)$ isomorphic to $SO(4)$?
- What is the fastest way to multiply two digit numbers?
- How does the determinant change with respect to a base change?
- Given a sequence find nth term
- A variant of the Monty Hall problem
- Maximum likelihood estimator of $\theta>-1$ from sample uniform on $(0,\theta+1)$