P
Initializing...
KKT identities at the normalized optimum · Prove2Me