P

Initializing...

$-\lambda-\log(1-\lambda)\le\lambda^2$ on $[0,0.68]$ · Prove2Me