P
Initializing...
Pointwise bound from a lower bound on the second derivative and a bounded primitive · Prove2Me