MathDB
\phi (n) >= \pi (n) / 2

Source: 2006 VMEO III Shortlist SL N10 Vietnamese Mathematics e - Olympiad https://artofproblemsolving.com/community/c2461015_vmeo__vie

October 28, 2021
number theoryphi functioninequalities

Problem Statement

The notation ϕ(n)\phi (n) is the number of positive integers smaller than nn and coprime with nn, π(n)\pi (n) is the number of primes that do not exceed nn. Prove that for any natural number n>1n > 1, we have ϕ(n)π(n)2\phi (n) \ge \frac{\pi (n)}{2}