P
Initializing...
A quartic lower bound with mixed and linear terms · Prove2Me