P
Initializing...
Sharp lower bound $\frac{2(t-1)}{t+1} \le \log t$ for $t \ge 1$ · Prove2Me