P
Initializing...
Effective-size facts (proofs of Observation 2 and Lemma 6, p. 12) — 0 ≤ β_k(Y) ≤ 1 for Y ∈ [0,1], and β_k(Y) ≥ E[Y] · Prove2Me