Über einige Ramanujansche Sätze. (Q2590638)

\textit{Watson} (Math. Z. 39 (1935), 712-731; F.~d.~M. 61\(_{\text{I}}\), 135; vgl.~\S~4) hatte den von \textit{Ramanujan} ohne Beweis hinterlassenen Satz bewiesen: Setzt man \[ \sum_{n=1}^\infty\tau(n)x^n=x\left(\prod_{n=1}^\infty(1-x^n)\right)^{24}, \] so ist \(\tau(n)\) für fast alle \(n\) durch 691 teilbar. Bewiesen wird hier, daß \(\tau(n)\) für fast alle \(n\) sogar durch \(2^5\cdot3^2\cdot5^2\cdot7 \cdot691=34826400\) teilbar ist. Zu diesem Zweck werden ganzrationale Identitäten zwischen \(\tau(n)\) und den Funktionen \(\sigma_r(n)\) mit positivem ungeradem \(r\leqq 11\) herangezogen, wo \(\sigma_r(n)\) die Summe der \(r\)-ten Potenzen der positiven Teiler von \(n\) bedeutet, und es wird der von \textit{Ramanujan} im selben Zusammenhang ausgesprochene, von \textit{Watson} a.~a.~O. (\S~3) bewiesene Satz benutzt, daß \(\sigma_r(n)\) bei festem ungeradem \(r\) und festem ganzem \(k>0\) für fast alle \(n\) durch \(k\) teilbar ist. -- Bewiesen wird ferner die von \textit{Ramanujan} ebenda ausgesprochene Behauptung: Ist \(q_1,q_2,\dots\) eine Folge wachsender Primzahlen, \(\sum\limits_{\nu=1}^\infty\dfrac1{q_\nu}\) divergent, so geht in fast allen natürlichen Zahlen \(n\) mindestens ein \(q_\nu\) in ungerader Vielfachheit auf. \textit{Watson} hatte dies a.~a.~O. (\S~1) für die Primzahlen einer arithmetischen Progression bewiesen. Eine von \textit{Ramanujan} ebenda über die asymptotische Anzahl jener \(n\) aufgestellte Behauptung wird widerlegt.