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