Lemma 19.7: for k ≥ 10 independent Bernoulli(pᵢ) labels with mean p, E P_{y∼p}[y ≠ 𝟙[p' > 1/2]] ≤ (1 + √(8/k)) P_{y∼p}[y ≠ 𝟙[p > 1/2]]

Initializing...

Lemma 19.7: for k ≥ 10 independent Bernoulli(pᵢ) labels with mean p, E P_{y∼p}[y ≠ 𝟙[p' > 1/2]] ≤ (1 + √(8/k)) P_{y∼p}[y ≠ 𝟙[p > 1/2]] · Prove2Me