MathDB
\sum_{1\le k \le m ,\,\, (k,m)=1} 1/k >= C \sum_{k=1}^{m} 1/k

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

October 28, 2021
number theorySuminequalities

Problem Statement

Assume the mm is a given integer greater than 1 1. Find the largest number CC such that for all nNn \in N we have
1km,(k,m)=11kCk=1m1k\sum_{1\le k \le m ,\,\, (k,m)=1}\frac{1}{k}\ge C \sum_{k=1}^{m}\frac{1}{k}