Sea $n \geq 2$ un entero. Reales positivos satisfacen $a_1\geq a_2\geq \cdots\geq a_n.$ Demuestra que $$\left(\sum_{i=1}^n\frac{a_i}{a_{i+1}}\right)-n \leq \frac{1}{2a_1a_n}\sum_{i=1}^n(a_i-a_{i+1})^2,$$ donde $a_{n+1}=a_1.$