Question 6
(FRA 2; IMO 5) Let $\varphi:\{1,2,3,\ldots\}\to\{1,2,3,\ldots\}$ be injective. Prove that for all $n$,
$$\sum_{k=1}^n\frac{\varphi(k)}{k^2}\ge\sum_{k=1}^n\frac1k.$$
$$\sum_{k=1}^n\frac{\varphi(k)}{k^2}\ge\sum_{k=1}^n\frac1k.$$
IMO 1978 — Shortlisted problems Question 6
IMO Shortlist · IMO 1978 — Shortlisted problems