Über eine zahlentheoretische Behauptung von Legendre. (Q1829535)

``Bezeichnet \(p_n\) die \(n\)-te Primzahl, so gibt es höchstens \(p_{n-1}-1\) aufeinanderfolgende ungerade Zahlen derart, daß alle diese Zahlen durch mindestens eine der Primzahlen \(p_2, p_3, \ldots, p_n\) teilbar sind.'' Für diese Behauptung gab \textit{Legendre} in seiner Théorie des nombres (II, 71--79) einen Beweis, dessen Unrichtigkeit schon \textit{Dirichlet} erkannte (Werke I, 313--342). Dirichlet versuchte noch, die Legendresche Behauptung zu beweisen. Erst \textit{Dupré} gelang es, sie für spezielle \(n\) zu widerlegen (Preisschrift Paris, 1858). Es wird nun in der ersten Arbeit eine Methode entwickelt, die in der zweiten Arbeit ausgebaut und mittels der gezeigt wird, daß die Legendresche Behauptung für alle \(p_n \ge 43\) falsch ist. In der zweiten Arbeit wird darüber hinaus bewiesen, daß es zu jedem \(\varepsilon (0 < \varepsilon < 1)\) eine nur von \(\varepsilon\) abhängende Zahl \(n_0\) gibt derart, daß für alle \(n >n_0\) stets \([(2 - \varepsilon)p_n]\) aufeinanderfolgende ungerade Zahlen existieren, die zu \(p_1\cdot p_2\cdot \ldots \cdot p_n\) sämtlich nicht teilerfremd sind. Ferner wird ein Satz von \textit{R. J. Backlund}[Ann. Acad. Sci. Fennicae (A) 32 (Lindelöf-Festschrift), No. 2, 9 p. (1929; JFM 55.0687.01)] folgendermaßen verschärft: Für jedes beliebig kleine positive \(\delta\) gibt es unendlich viele Paare aufeinanderfolgender Primzahlen \(p_m\) und \(p_{m+1}\), die der Ungleichung \[ p_{m+1}-p_m>(4-\delta)\log p_m \] genügen.