Prove $\forall n \in \mathbb{N}: \int_{0}^{\frac{\pi}{2}} |\frac{\sin(nx)}{x}|dx \geq \frac{2}{\pi}\sum_{k=1}^{n}\frac{1}{k}$
Show that,$\int_0^\pi \left|\frac{\sin nx}{x}\right|\mathrm{d}x \ge \frac{2}{\pi}\left(1+\frac12+\cdots+\frac{1}{n}\right)$