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