P
Initializing...
A bilinear upper bound under a quadratic constraint · Prove2Me