P
Initializing...
Lemma 3.4 — the final prices are at most the welfare of the greedy allocation · Prove2Me