Theorem 4.4 — w.p. $\ge 1-\delta$, CPI improves $\eta_\mu$ at every update, stops within $72R^2/\varepsilon^2$ updates, returns $\pi$ with $\mathrm{OPT}(\mathbb A_{\pi,\mu})<2\varepsilon$

Initializing...

Theorem 4.4 — w.p. $\ge 1-\delta$, CPI improves $\eta_\mu$ at every update, stops within $72R^2/\varepsilon^2$ updates, returns $\pi$ with $\mathrm{OPT}(\mathbb A_{\pi,\mu})<2\varepsilon$ · Prove2Me