Lemma 4.7 — every agent gets at most 2(r − 1) goods of S′_{r−1} ∖ S′_0 in Round-Robin(≻)

Initializing...

Lemma 4.7 — every agent gets at most 2(r − 1) goods of S′_{r−1} ∖ S′_0 in Round-Robin(≻) · Prove2Me