P

Initializing...

Elementary bound: $\log(2+x)/(1+x^2) \le 6\,(1+x)^{-3/2}$ for $x \ge 0$ · Prove2Me