P
Initializing...
Gradient bound for the comparison difference, with constants independent of $\delta$ · Prove2Me