P
Initializing...
A product of squared pairwise sums bounds three linear factors · Prove2Me