P
Initializing...
A sum minus pairwise product bound under a cubic constraint · Prove2Me