P
Initializing...
Lemma 9.3: $\mathbb P(\tilde\Delta \ge \Delta) \le 15k/(n\Delta^2)$ · Prove2Me