Showing that $\sum_{i=1}^n \frac{1}{i} \geq \log{n}$

$$e^{H_n}=e^{1/1}e^{1/2}\cdots e^{1/n}\color{Red}{\gt}\left(1+\frac 11\right)\left(1+\frac 12\right)\cdots\left(1+\frac 1n\right)=n+1\gt n$$ $$\color{Red}{e^x\gt1+x}\tag{$x\gt0$}$$

Hint: The sum on the right is equivalent to an LRAM approximation with $\Delta x = 1$ of $\int_1^n \frac{1}{x} dx$. Since $\frac{1}{x}$ is decreasing, LRAM over-estimates.

If you didn't know, LRAM = Left Rectangle Approximation Method. To estimate the area of a function $f(x)$ from $1$ to $n$ with $\Delta x = c$, we find $c(f(1) + f(1+c) + f(1+2c) + \dots + f(n-c))$

Here's a handy visual, taken from the wikipedia page for the Euler-Mascheroni constant

(How do I incorporate this directly in my post?)