Theorem 4.12, proof, last step — an agent holding n near-unit tasks against a split allocation

Initializing...

Theorem 4.12, proof, last step — an agent holding n near-unit tasks against a split allocation · Prove2Me