P
Initializing...
Lemma 6 — every assignment with (13)–(14) for a feasible LP solution has expected makespan at most 4b + 10 · Prove2Me