$\int_{0}^{\pi}\left|\frac{\sin nx}{x}\right|~dx \geq \frac{2}{\pi}(1+\frac{1}{2}+ \cdots +\frac{1}{n})$

Question

Mostrar que $$\int_{0}^{\pi}\left|\frac{\sin nx}{x}\right|~dx \geqslant \frac{2}{\pi}\left(1+\frac{1}{2}+ \dots +\frac{1}{n}\right)$$

Sé $0 \leqslant \left|\sin nx\right| \leqslant 1 $. Pero con este no puedo resolver. Por favor, ayudar.

Answer 1

Sugerencias:

1) Realizar el cambio de una variable a$y= n x$, a continuación, dividir la integral en partes $y \in S_j$ con $S_j=[(j-1)\pi,j\pi]$, $j=1,...,n$.

2) $1/x$ es monótonamente en descomposición.

Spoiler a continuación:

$$\int_0^\pi \left| \frac{\sin nx}{x} \right| dx=\int_0^{n\pi} \left| \frac{\sin y}{y} \right| dy = \sum_{j=1}^n \int_{(j-1)\pi}^{j\pi} \overbrace{\frac{|\sin y|}{y}}^{|\sin y|/j\pi} \ge \sum_{j=1}^n \frac{1}{j\pi} \overbrace{\int_{(j-1)\pi}^{j\pi} |\sin y| dy}^{2} =\frac{2}\pi \sum_{j=1}^n \frac1j$$