Proof of Theorem 1.1 — $\nu_\ell=\lfloor c\,\ell\ln(2/\varepsilon)\rfloor$ gives $\beta\le\varepsilon$ at cost $O(k\ln(2/\varepsilon))$

Initializing...

Proof of Theorem 1.1 — $\nu_\ell=\lfloor c\,\ell\ln(2/\varepsilon)\rfloor$ gives $\beta\le\varepsilon$ at cost $O(k\ln(2/\varepsilon))$ · Prove2Me