P
Initializing...
Utility Lemma 12 — the mean of m i.i.d. variables bounded by B deviates from its expectation by at most B/√m in L¹ · Prove2Me