P
Initializing...
Eqs. (C1), (C4): $P\ge1/8$ and $\bar Q\le 8\,(2mn(Q_L+1)+2m)$ · Prove2Me