P

Initializing...

Lemma 9, eq. (8): $\mathbb E_S[(R - R_{\mathrm{emp}})^2] \le M^2/(2m) + 3M\,\mathbb E_{S,z_i'}|\ell(A_S,z_i) - \ell(A_{S^i},z_i)|$ · Prove2Me