P
Initializing...
Zero-barrier candidate value is monotone on the whole real line · Prove2Me