P
Initializing...
A quartic bound involving an absolute difference · Prove2Me