P
Initializing...
A quadratic bound above one · Prove2Me