Show that for all Harmonic numbers $H(k)$, the inequality $H(2^k) \leq 1 + k$ holds for all natural numbers. Hi so the question is prove that for all harmonic numbers $$H(k) = 1 + \frac{1}{2} + \frac13 + \dotsb + \frac{1}{k}$$ the inequality $H(2^k) \leq 1 + k$ holds for all natural numbers. I'm not going to put my entire answer here but was wondering if someone could tell me if I'm on the right track.
So I got this far:
Say $H(2^k) = k + 1$
and $$H(2^{k+1}) = k + 1 + 2^k  \frac{1}{2^{k+1}} = k + 1 + \frac{1}{2} = k + \frac{3}{2}$$ 
and $k + \frac{3}{2} \leq 1 + (k + 1)$ 
Is this correct or at least am I on the right track??

Let us prove something stronger through a powerful technique, creative telescoping.
We may recall that since in a neighbourhood of the origin we have
$$ \text{arctanh}(x) = \frac{1}{2}\log\left(\frac{1+x}{1-x}\right)=x+\frac{x^3}{3}+\frac{x^5}{5}+\frac{x^7}{7}+\ldots\tag{1} $$
the inequality
$$ \frac{1}{n}\leq 2\,\text{arctanh}\left(\frac{1}{2n}\right) = \log\left(\frac{2n+1}{2n-1}\right) = \frac{1}{n}+\frac{1}{12n^3}+\frac{1}{80n^5}+\ldots \tag{2}$$
surely holds for any $n\geq 1$. Additionally, $\log\left(\frac{2n+1}{2n-1}\right)$ is a telescopic term, wonderful:
$$ \color{red}{H_N} = \sum_{n=1}^{N}\frac{1}{n}\color{red}{\leq} \sum_{n=1}^{N}\log\left(\frac{2n+1}{2n-1}\right) = \color{red}{\log(2N+1)}\leq \log(N)+1\tag{3} $$
In particular, $H_{2^k}\leq 1+k\log 2$.

The super-tight inequality
$$ \log\left(N+\frac{1}{2}\right)+\gamma \leq H_N \leq \log\left(N+\frac{1}{2}\right)+\gamma+\frac{1}{24 N(N+1)} \tag{4}$$
where $\gamma$ is the Euler-Mascheroni constant can be proved through the same technique.
