P
Initializing...
A quadratic-factor product bound above one · Prove2Me