P
Initializing...
A four-variable quartic bound involving the square of a sum · Prove2Me