Lemma 30.1: for a hypothesis built from T and evaluated on the independent V, L_D(h_T) − L_V(h_T) < √(2 L_V(h_T) log(1/δ)/|V|) + 4 log(1/δ)/|V| w.p. ≥ 1 − δ

Initializing...

Lemma 30.1: for a hypothesis built from T and evaluated on the independent V, L_D(h_T) − L_V(h_T) < √(2 L_V(h_T) log(1/δ)/|V|) + 4 log(1/δ)/|V| w.p. ≥ 1 − δ · Prove2Me