CMIMC 2017 Power Problem 22

Now you will compare the efficiencies of Sorting Algorithm #1 and Sorting Algorithm #2. Let a_{n} be the answer to Problem 15. Prove that

\lim _{n \rightarrow \infty} \frac{2(n+1) H_{n}-4 n}{a_{n}}=0