P
Initializing...
Lemma 1, with the independence it needs — exceptional items lower bound E[max_j X_j] ≥ L/2 · Prove2Me