P
Initializing...
Theorem 3.2 — the record of $\|\tilde g_r\|$ is at most $d\sqrt{k(\alpha^2-1)}/\sqrt{\alpha^{2k/n}-1}$ · Prove2Me