P
Initializing...
A weighted squared-norm bound at fixed pairwise sum · Prove2Me