1: \begin{proof}

2: 		Given $k$, by Theorem \ref{thm:lim=inf} we can approximate $h^{(k)}$ from above by $\log B_m^{(k)}/|\Delta_m^{(k)}|$ for any $m$, and for $k=2,\dots,8$ we can approximate $h^{(k+1)}$ from below by $h_n^{(k+1)}$ for any $n$, so checking numerically that $\log B_m^{(k)}/| \Delta_m^{(k)}| < h_n^{(k+1)}$ ($n=4$ suffices for the above statements) shows rigorously that $h^{(k)}<h^{(k+1)}$ for that $k$. 

3: 		\end{proof}

4: