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