P
Initializing...
A quartic inequality under a linear difference constraint · Prove2Me