P
Initializing...
A squared pair-product sum bounds a triple-product expression · Prove2Me