Sólo he jugado con esto un poco durante el último día o así, y no he pensado demasiado en ello, por lo que podría ser obvio. Obviamente no es justo pedir una "prueba combinatoria" de una desigualdad que involucra números reales, así que pediremos que los vectores estén en $\mathbb{N}^n$ . Más concretamente:
Dadas n cajas subdivididas en una "mitad derecha" y una "mitad izquierda" con $a_i$ objetos en la mitad derecha de la caja $i$ y $b_i$ en la mitad izquierda de la casilla i, ¿existe una función inyectiva natural desde
Dos pares (ordenados, con sustitución) de objetos, conteniendo cada par un objeto de la mitad izquierda y un objeto de la mitad derecha de una caja fija.
a
¿Un par (ordenado, con sustitución) de la mitad derecha de alguna caja, y un par (O,WR) de la mitad izquierda de alguna caja (posiblemente diferente)?
(Lo siento si esto es un doble; mi inalámbrico está siendo extraño).
