Theorem 5.6, final step — under s the optimal allocation of t stays optimal and every other allocation costs at least ∞

Initializing...

Theorem 5.6, final step — under s the optimal allocation of t stays optimal and every other allocation costs at least ∞ · Prove2Me