On a property of Riemann's \(\zeta\) function. (Q1514105)

Mit Benutzung der Hadamard'schen Sätze zeigt der Verf. für die \(\zeta\)-Function Riemann's folgende Ungleichung: \[ |\zeta(1+\varrho+ia)| > \left(\frac{\varrho}{1+\varrho}\right)^{\frac34} \frac1{|\zeta(1+\varrho+2ia)|^{\frac14}}. \] Hieraus folgert der Verf. aufs neue den zuerst von Hadamard und de la Vallée Poussin bewiesenen Satz, dass die \(\zeta\)-Function keinen Nullpunkt der Gestalt \(1+ia\) hat, indem er nämlich aus der angegebenen Ungleichung auf die folgende schliesst: \[ |\zeta(1+ia)| > B_{\varrho_0}. \] Dabei ist ist \(\varrho_0\) aus der Ungleichung zu bestimmen: \[ \varrho_0(1+\varrho_0)^3AB^4\leqq\frac1{16}, \] während \(A\) und \(B\) die folgenden Bedeutungen haben: \[ A = 1 + \frac1{2a} + \frac{e^{a\pi}}{2\sqrt{a\pi}},\,B = \frac1{a^2} + \frac{e^{\frac12a\pi}}{\sqrt{2a\pi}}\left(1 + \frac12\sum\frac{\log n}{n(n- 1)}\right). \]