Primteiler von Zahlenfolgen. II. Berichtigung. (Q2579896)

Es seien \(q_1, \dots,q_m\) Primzahlen, \(b_1, b_2, \dots \) die wachsend geordneten natürlichen Zahlen, die durch keine von \(q_1, \dots, q_m\) verschiedene Primzahl teilbar sind, \(Q = q_1 \cdots q_m \), \(\gamma = \root m \of{m! \prod\limits_{i=1}^m \log\, q_i}\). Dann wird für jedes ganze \(n > 0\) bewiesen: \(\dfrac 1Q \text{exp} \gamma \root m \of {n} \leqq b_n \leqq \text{ exp } \gamma \root m \of n\), woraus insbesondere die schon in Teil I (Deutsche Math. 3 (1938), 689-697; F. d. M. \(64_{\text{I}}\), 102) gewonnene Formel \[ \lim_{n=\infty} \frac {\log\, b_n}{\root m \of n} = \gamma \tag{1} \] nochmals folgt. Aus (1) wird nunmehr der nachstehende Satz hergeleitet: Sind \(a_1, a_2, \dots \) wachsende natürliche Zahlen, \(0 < \alpha < 1\), \(\dfrac {a_{n+1}}{a_n} = 1 + o(n^{\alpha -1})\), \(\psi_n\) für ganzes \(n > 0\) die Anzahl der in mindestens einer der Zahlen \(a_1, \dots, a_n\) aufgehenden Primzahlen, so ist \(\lim\limits_{n=\infty} \psi_n > \dfrac 1\alpha\). Beim Beweis dieser Formel wird ein weiteres Ergebnis des Teiles I benutzt, nämlich der folgende Satz: Sind \(a_1, a_2, \dots \) wachsende natürliche Zahlen, \[ \varliminf_{n= \infty} \frac {\log\, \log\, a_n}{\log\, n} = 0, \tag{2} \] so gibt es unendlich viele Primzahlen, die in mindestens einer der Zahlen \(a_n\) aufgehen. Dieser Satz wird hernach zu dem folgenden verschärft: Unter der Voraussetzung (2) ist, wenn \(\psi_n\) wieder die Anzahl der in mindestens einer der Zahlen \(a_1, \dots, a_n\) aufgehenden Primzahlen bedeutet, für alle großen \(n\) \[ \psi_n > \frac {\log \, n}{\log\, \log\, a_n}. \]