An inequality for the Riemann zeta function (Q6111810)

Let \(s=\sigma+it\) and \[\lambda_0(t)=\log 2\pi +\frac\pi2 \operatorname{sech} \pi t -\frac12\left(\frac{\Gamma'}{\Gamma}\left(1/2+it\right)+\frac{\Gamma'}{\Gamma}\left(1/2-it\right)\right),\] where \(\Gamma(s)\) is the gamma function. Then Theorem 1 states that, for \(\sigma>1/2\) and \(t\ge \tau_0\), \[\vert \zeta(1-s)\vert >\vert \zeta(s)\vert, \quad\text{when} \ \zeta(s)\ne0,\] where \(\tau_0= 6.2898359\dots\) is the root of the function \(\lambda_0(t)\). The author notes that \(\tau_0\) is optimal. The last previous result of such type was obtained in \textit{T. S. Trudgian} [J. Math. Inequal. 9, No. 3, 795--798 (2015; Zbl 1382.11064)].