P
Initializing...
Global Second-Difference Bound from Penalized Maxima · Prove2Me