Estoy considerando un ejemplo en el que hay dos mercancías y tres conjuntos de presupuestos $(\mathbf{p}^{(n)},w^{(n)}),n=1,2,3$ . Si asumimos $\mathbf{p}^{(n)} \cdot \mathbf{x}(\mathbf{p}^{(n+1)},w^{(n+1)}) \leq w^{(n)}$ para $n=1,2$ y que el WARP es válido para cualquier par de paquetes, ¿cómo puedo demostrar que el SARP es válido?
Gráficamente, es fácil convencerse de que la afirmación es válida, pero me gustaría explorar una prueba más rigurosa.