P
Initializing...
A lower bound for three quadratic factors under normalization · Prove2Me