P

Initializing...

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