P
Initializing...
A quadratic-factor product bound with an attaining example · Prove2Me