Sean $n \geq k$ enteros positivos y sean $a_1, \dots, a_n$ una lista no creciente de números reales positivos. Demuestre que existen $k$ conjuntos $B_1, \dots, B_k$ que particionan el conjunto $\{1, 2, \dots, n\}$ tal que $$\min_{1 \le j \le k} \left(\sum_{i \in B_j} a_i \right) \geq \min_{1 \le j \le k} \left(\frac{1}{2k+1-2j} \cdot \sum^n_{i=j} a_i\right).$$