P
Initializing...
A pairwise-product bound under two quadratic constraints · Prove2Me