Lemma 9 (corrected) — $\sum_{\tau\le t}\min(w_\tau^2,1)\le2n\ln(t+1)$ · Prove2Me

P

Initializing...

Lemma 9 (corrected) — $\sum_{\tau\le t}\min(w_\tau^2,1)\le2n\ln(t+1)$ · Prove2Me