P
Initializing...
A strict quadratic bound from two comparisons · Prove2Me