P
Initializing...
A squared pair sum with a linear correction bounds mixed square-root products · Prove2Me