P
Initializing...
Lemma 4.6 — $\|\mathcal E\|<2.01\,e^{-\pi\alpha^2\theta/2}<2^{-\alpha^2\theta}$ · Prove2Me