Suponga que $\alpha_i > 0, \beta_i > 0$ para $1 \leq i \leq n, n > 1$ y que \[ \sum^n_{i=1} \alpha_i = \sum^n_{i=1} \beta_i = \pi. \] Demuestre que \[ \sum^n_{i=1} \frac{\cos(\beta_i)}{\sin(\alpha_i)} \leq \sum^n_{i=1} \cot(\alpha_i). \]