P
Initializing...
A quartic polynomial bound under a coefficient constraint · Prove2Me