Weighted second moment of $\hat\varphi$: $\int \hat\varphi(r)^2\, r^2\,dr \le 8 + 2(c_\varrho/w)^2$

Initializing...

Weighted second moment of $\hat\varphi$: $\int \hat\varphi(r)^2\, r^2\,dr \le 8 + 2(c_\varrho/w)^2$ · Prove2Me