A note on the distribution of primes. (Q2606081)

Es sei \(\theta\) die obere Grenze der Realteile der Nullstellen der \textit{Riemann}schen \(\zeta\)-Funk\-tion. Unter der (unbewiesenen) Annahme, daß \(\theta\) erreicht wird (d. h. falls es eine Null\-stelle von \(\zeta(s)\) gibt mit Realteil \(\theta\)) zeigt Verf.: Es gibt eine Konstante \(A > 1\) derart, daß für jedes \(x > 1\) das Intervall \((x,Ax)\) eine ganze Zahl \(n\) und eine ganze Zahl \(n'\) enthält, derart daß \[ \pi(n) <\operatorname{li\,}(n),\quad \pi(n') > \operatorname{li\,} (n'), \] wo \(\pi(x)\) wie üblich die Anzahl der Primzahlen \(\leqq x\) darstellt. Weiter sei \(V(X)\) die Anzahl der Vorzeichenänderungen der Zahlenfolge \[ \pi(n) - \operatorname{li\,} (n)\qquad (n =2, 3,\dots\ldotp ) \] oder der Funktion \(\pi(x) - \operatorname{li\,} (x)\) im Intervall \((2, X)\). Aus dem obigen Satz folgt (unter derselben Annahme, daß \(\theta\) erreicht wird), daß \[ \liminf_{X\to\infty}\frac{V(X)}{\log X}\geqq\frac1{\log A}>0. \] (Falls die \textit{Riemann}sche Vermutung richtig ist, wird \(\theta\) natürlich erreicht.) \textit{Littlewood} brauchte für den Beweis seines Satzes über die Vorzeichenänderungen von \(\pi(x) - \operatorname{Li\,} (x)\) (C. R. Acad. Sci., Paris, 158 (1914), 1869-1872; F. d. M. 45, 305 (JFM 45.0305.*)) einen Satz von \textit{Phragmén-Lindelöf}. Verf. kann aber beim Beweise des oben genannten Satzes den \textit{Phragmén-Lindelöf}schen Satz umgehen und braucht deshalb weniger aus der komplexen Funktionentheorie.