P
Initializing...
A quartic-cubic-quadratic power-sum inequality at total one · Prove2Me