§5, eq. (5.11) — each state $|c, x^k\rangle$ with $|\{rc\}_q| \le r/2$ has probability $\ge 1/3r^2$

Initializing...

§5, eq. (5.11) — each state $|c, x^k\rangle$ with $|\{rc\}_q| \le r/2$ has probability $\ge 1/3r^2$ · Prove2Me