P
Initializing...
Section d, p.9 — the perturbation bound $|\Pr_{\varphi_0} - \Pr_{\varphi_1}| \le 2\sqrt{2(1-\langle\varphi_0|\varphi_1\rangle)} \le 4\sqrt\varepsilon$ · Prove2Me