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