I was working on a summation and it was simplified to $$ \sum_{i = 1}^{n}H_{k - i} - \sum_{i = n + 1}^{i = 2n - 1} H_{k - i}\quad\mbox{where}\quad H_{n} = \sum_{k = 1}^{n}{1 \over k}\quad\mbox{where}\quad k = 2n $$
- I tried using ${\tt Mathematica}$ to simplify this but unable to.
- I also tried manually simplifying this by I can't come to a decent upper bound on this.
- Does someone have any hints ?.
- Edit1: The above equation simplifies to $\log\left(\left(2n\right)!/\left(n!\, n!\right)\right)$. I am unable to understand $\qquad\,$ how to tightly bound this above and below.
- Edit2: @Jack pointed out that I made a mistake in simplification.
$$\sum_{i=1}^{n}H_{2n-i}-\sum_{i=n+1}^{2n-1}H_{2n-i} = \sum_{k=n}^{2n-1} H_k - \sum_{k=1}^{n-1} H_k=\sum_{k=1}^{2n-1}H_k-2\sum_{k=1}^{n-1}H_k \tag{1}$$ can be easily computed from $$\begin{eqnarray*} \sum_{k=1}^{N} H_k \stackrel{\text{SBP}}{=} N H_N - \sum_{k=1}^{N-1}\frac{k}{k+1}&=&NH_N-N+1+\sum_{k=1}^{N-1}\frac{1}{k+1}\\&=&(N+1)H_N-N\\&=&(N+1)H_{N+1}-(N+1).\end{eqnarray*} \tag{2}$$ In particular the RHS of $(1)$ equals
$$ 2n H_{2n-1}-(2n-1)- 2\left[n H_{n-1}-(n-1)\right]=\color{red}{2n(H_{2n}-H_n)}.\tag{3} $$ The RHS of $(3)$ behaves like $2n\log(2)-\frac{1}{2}+\frac{1}{8n}$ as $n\to +\infty$, while by Stirling's approximation $$ \log\frac{(2n)!}{n!^2}\sim 2n\log(2)-\frac{1}{2}\log(n)-\log\sqrt{\pi}-\frac{1}{8n}\tag{4} $$ as $n\to +\infty$, so $(1)$ and $(4)$ are different things.
Fun fact: the idea to approximate $$ \log\binom{2n}{n}=\sum_{k=1}^{2n}\log(k)-2\sum_{k=1}^{n}\log(k) $$ with $\sum_{k=1}^{2n}H_k-2\sum_{k=1}^{n}H_k=2n(H_{2n}-H_n)$ is more or less the key idea (together with creative telescoping) of my proof of Stirling's approximation.