P
Initializing...
A fourth-power inequality involving two symmetric sums · Prove2Me