Applications of Wirtinger inequalities on the distribution of zeros of the Riemann zeta-function (Q623623)

Hall's function \(\Lambda(k)\) measures the spacing between consecutive zeros of the Riemann zeta function [\textit{R. R. Hall}, J. Number Theory 109, No. 2, 240--265 (2004; Zbl 1067.11055)]. Assuming the Riemann hypothesis the author proves: \[ \begin{aligned} \Lambda(k)&\geq \frac{1}{2\pi}\left(\frac{b_k}{c_k}\frac{2\Gamma(2k+1)}{\Gamma^2(\frac{2k+1}{2})}\right)^\frac{1}{2k},\\ \Lambda(k)&\geq \frac{1}{2\pi} \left(\frac{b_k}{c_k}\frac{1}{I(k)}\right)^\frac{1}{2k},\\ \Lambda(k)&\geq \frac{1}{2k \sin\left(\frac{\pi}{2k}\right)} \left((2k-1)\frac{b_k}{c_k}\right)^\frac{1}{2k},\end{aligned} \] where \[ b_k:=\prod_{j=0}^{k-1}\frac{j!}{(j+k)!}, \] \[ c_k:=(-1)^{\frac{k(k+1)}{2}}\sum_{m\in P_0^{k+1}(2k)}^k \binom{2k}{m}\left(-\frac 12\right) ^{m_0}\left(\prod_{i=1}^k\frac{1}{(2k-i+m_i)!}\right)M_{i,j}, \] with \(M_{i,j}:=\prod_{1\leq i,j\leq k}^k (m_j-m_i+i-j)\), \(P_0^{k+1}(2k)\) the set of partitions \( m=(m_0,\dots,m_k)\) of \(2k\) into nonnegative parts, and \[ I(k):=\int_0^1\frac{1}{(t^{1-2k}+(1-t)^{1-2k})}dt. \]