Problema: Un total de $270$ kg de sandías, cada una de las cuales pesa como máximo $7$ kg, debe transportarse por $11$ portadores a la vez. Demuestre que si cada portador puede transportar hasta $30$ kg cada vez, esto puede hacerse independientemente del peso de las sandías individuales.
$\\$
Mi opinión sobre la solución: Sea el número de sandías $n$ . Sea el peso de las sandías $0< x_1 \leq x_2 \leq \dots \leq x_n \leq 7$ . Desde $$\sum_{k=1}^{n} x_k = 270 $$ y $7n \geq n\cdot x_n \geq 270$ encontramos $n \geq 39$ .
Para $39 \leq n \leq 44$ , $\{ x_1, x_2, x_3, x_4\}, \{ x_5, x_6, x_7, x_8\}, \dots, \{ x_{41}, x_{42}, x_{43}, x_{44}\}$ grupos pueden ser transportados por $11$ portadores.
Para $n>44$ No tengo ni idea. Para un tamaño suficientemente grande $n$ algunos pesos de las sandías disminuirán. Gracias por su interés...