What do you get when you sum over the smaller half of the harmonic series?

For simplicity let's assume that $n$ is even (if it is odd your sequence has to be modified using integer part of $\frac{n}{2}$). Let's compute $$ \int\limits_{\frac{n}{2}}^{n} \frac{1}{ x} dx = \ln n-\ln(\frac{n}{2}) = \ln 2 $$ Now we have estimations $$ \int\limits_{\frac{n}{2} - 1}^{n} \frac{1}{ x} dx \ge \sum_{k=n/2}^{n}\frac{1}{k} \ge \int\limits_{\frac{n}{2}}^{n + 1} \frac{1}{ x} dx $$ and both estimates obviously tend to $\ln 2$ as $n \rightarrow \infty$.

With arbitrary $d$ replacing $2$ we have $\ln d$ as limit.


Let $H_n = \sum_{k=1}^n 1/k$ denote the $n$-th Harmonic number. It is well-known that $(H_n - \log n)_n$ converges to some constant $\gamma$, called the Euler-Mascheroni constant.

You ask for $(H_n - H_{n/2})_n$. We write it as:

$$(H_n - \log n) - (H_{n/2} - \log (n/2)) + (\log (n) - \log (n/2))$$

The two former terms tend to $\gamma$ thus it remains $\log (n) - \log (n/2)$, which is just $-\log (1/2) = \log 2$.

This works for any $d$.


I thought it might be instructive to present a way forward that does not rely on Riemann sums or properties of Harmonic numbers.

Rather, we rely on only elementary analysis and the Taylor series for $\displaystyle \log(1+x)$. To that end, we now proceed.


The limit $\lim_{n\to\infty}\sum_{k=n/2}^n \frac1k$ converges. To see this we write

$$\begin{align} \sum_{k=1}^{2m} \frac1k&=\sum_{k=1}^m \frac1{2k}+\sum_{k=1}^m\frac1{2k-1}\\\\\ &=\sum_{k=1}^{m} \frac1{k}+\sum_{k=1}^m\left(\frac1{2k-1}-\frac1{2k}\right)\\\\ \sum_{k=m+1}^{2m}\frac1k&=\sum_{k=1}^m\left(\frac1{2k-1}-\frac1{2k}\right)\\\\ &=\sum_{k=1}^{2m}\frac{(-1)^{k+1}}{k}\tag1 \end{align}$$

Letting $m=n/2$ in $(1)$ yields

$$\lim_{n\to\infty}\left(\sum_{k=n/2}^n\frac1k-\frac1{n/2}\right)=\sum_{k=1}^\infty\frac{(-1)^{k+1}}{k}\tag2$$

The right-hand side of $(2)$ is $\log(2)$ as recognized from the Taylor Series of $\log(1+x)=\sum_{k=1}^\infty \frac{(-1)^{k+1}}{k}x^k$ evaluated at $x=1$. And the right-hand side reduces to the limit of interest. Hence, we see that

$$\lim_{n\to\infty}\sum_{k=n/2}^n\frac1k=\log(2)$$

And we are done!