P
Initializing...
A squared pairwise-sum bound at unit positive sum · Prove2Me