First $\psi$-integral of [eq:psiints]: $\int_0^\infty \psi \le 4 + 2\log\!\big(c_\varrho L/(4w)\big)$

Initializing...

First $\psi$-integral of [eq:psiints]: $\int_0^\infty \psi \le 4 + 2\log\!\big(c_\varrho L/(4w)\big)$ · Prove2Me