Is $1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{x} < \log_2 x$ If $x \ge 5$, is $1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{x} < \log_2 x$
I believe the answer is yes.
Here is my thinking:
(1)  $\log_2{5} > 2.32 > 2.284 > 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5}$
(2) Assume up to $x$ that $\log_2 x > \sum\limits_{i \le x}\frac{1}{i}$
(3) $(x+1)^{x+1} > {{x+1}\choose{x+1}}x^{x+1} + {{x+1}\choose{x}}x^x = x^{x+1} + (x+1)x^x = 2x^{x+1} + x^x > 2(x^{x+1})$
(4) $(x+1)\log_2\left(\frac{x+1}{x}\right) > 1$
(5) $\log_2(x+1) - \log_2(x) > \frac{1}{x+1}$
(6) $\log_2(x+1) - \log_2(x) + \log_2(x) = \log_2(x+1) > \sum\limits_{i \le x+1}\frac{1}{i}$

We have that
$$1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{x} < \log_2 x \iff 1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{x} < \frac{\ln x}{\ln 2}$$
$$\ln 2\left(1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{x} \right)< \ln x$$
then recall that by harmonic series
$$\sum_{k=1}^x \frac1k \sim\ln x+\gamma+\frac1{2x}$$
then
$$\ln 2\left(1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{x} \right) \sim \ln 2\ln x+\gamma\ln 2+\frac{\ln 2}{2x}\stackrel{?}<\ln x$$
$$(1-\ln 2)\ln x> \gamma\ln 2+\frac{\ln 2}{2x}$$
which is true for $x$ sufficiently large.
