P

Initializing...

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