P
Initializing...
A symmetric quartic inequality with a triple-product term · Prove2Me