P
Initializing...
A shifted ratio sum bounds a triple-product expression · Prove2Me