Sea $n$ un entero positivo, $x_1,x_2,\ldots,x_{2n}$ sean números reales no negativos con suma $4$. Demuestra que existen enteros $p$ y $q$, con $0 \le q \le n-1$, tales que \[ \sum_{i=1}^q x_{p+2i-1} \le 1 \mbox{ y } \sum_{i=q+1}^{n-1} x_{p+2i} \le 1, \] donde los índices se toman módulo $2n$. Nota: Si $q=0$, entonces $\sum_{i=1}^q x_{p+2i-1}=0$; si $q=n-1$, entonces $\sum_{i=q+1}^{n-1} x_{p+2i}=0$.