Third $\psi$-integral of [eq:psiints]: $\int_{\mathbb{R}} \psi(r)^2 |r|\,dr \le 8 + 8\log\!\big(c_\varrho L/(4w)\big)$

Initializing...

Third $\psi$-integral of [eq:psiints]: $\int_{\mathbb{R}} \psi(r)^2 |r|\,dr \le 8 + 8\log\!\big(c_\varrho L/(4w)\big)$ · Prove2Me