P
Initializing...
A symmetric quartic inequality with lower-degree corrections · Prove2Me