P

Initializing...

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