P
Initializing...
Plateau lower bound for $b = L^{-1}\!\int\varphi^4$: $\;1 - 2w/L \le b$ · Prove2Me