Sharp upper bound $\log t \le \tfrac12\left(t - \tfrac1t\right)$ for $t \ge 1$ · Prove2Me

P

Initializing...

Sharp upper bound $\log t \le \tfrac12\left(t - \tfrac1t\right)$ for $t \ge 1$ · Prove2Me