P
Initializing...
A symmetric quartic inequality with coefficient eleven · Prove2Me