P
Initializing...
A shifted pair-product ratio upper bound with squared differences · Prove2Me