P
Initializing...
Proof of Theorem 11: $\mathbb E_S[(R - R_{\mathrm{loo}})^2] \le M^2/(2m) + 3M\beta_1$ · Prove2Me