P
Initializing...
A sum-of-squares bound from a quartic and product constraint · Prove2Me