P
Initializing...
A symmetric sextic inequality with mixed coefficients · Prove2Me