A generalization of a theorem of Besicovitch. (Q2606075)

\textit{Besicovitch} bewies (Math. Ann. 110 (1934), 336-341; F. d. M. \(60_{\text{II}}\), 936-937) den folgenden Satz: Bedeutet \(d_a\) die Dichte aller Zahlen, welche einen Teiler im Inter\-vall \((a, 2a)\) haben, so ist \[ \liminf_{a\to\infty}d_a = 0. \tag{1} \] Verf. bewies (J. London math. Soc. 10 (1935), 126-128; F. d. M. \(61_{\text{I}}\), 132-133), daß sogar \[ \lim_{a\to\infty} d_a = 0. \tag{2} \] In der vorliegenden Arbeit gewinnt Verf. folgendes schärfere Resultat (das schon in der oben zitierten Arbeit angekündigt war): Sei \(\varepsilon_a\) eine beliebige Nullfolge; \(\delta_a\) bedeute die Dichte der Zahlen, welche im Intervall \((a, a^{1+\varepsilon a})\) einen Teiler haben. Dann ist \[ \lim_{a\to\infty}\delta_a = 0. \tag{3} \] (Wenn \(\varepsilon_a\) nicht gegen 0 konvergiert, so ist \(\limsup\delta_a>0\), wie man leicht einsieht.) Der Beweis von (3) verläuft im Prinzip ähnlich wie der frühere für (2), benutzt ins\-besondere wieder die \textit{Turán}sche Methode (J. London math. Soc. 9 (1934), 274-276; F. d. M. \(60_{\text{I}}\), 145); er bleibt elementar, erfordert jedoch weitere und kompliziertere Klasseneinteilungen der ganzen Zahlen als der frühere Beweis. Eine noch genauere Ausnutzung der Schlußweise ergibt, wie Verf. andeutet, das schärfere Resultat \[ \delta_a < \varepsilon^c_a\text{ für ein gewisses }c > 0. \tag{4} \]