MathLabs

第5题

设 ff 是从 {1,2,3,…}\{1,2,3,\ldots\} 到自身的单射。证明对任意 nn 有 ∑k=1nf(k)k−2≥∑k=1nk−1\sum_{k=1}^{n} f(k)k^{-2} \geq \sum_{k=1}^{n} k^{-1}。
第 4/4 步:得出不等式
通俗地说

恒等排列达到最小值。

∑k=1nf(k)k2≥∑k=1nkk2=∑k=1n1k\sum_{k=1}^n\frac{f(k)}{k^2}\ge\sum_{k=1}^n\frac{k}{k^2}=\sum_{k=1}^n\frac1k
详细分析

结合重排步骤与 ak=f(k)a_k=f(k),恰好得到所需不等式。