On certain theorems of Pringsheim. (Q2602116)

Es handelt sich um den Satz: Falls \(m_1\), \(m_2\), \dots eine monoton abnehmende Nullfolge ist und \[ \lim_{n\to\infty} \frac{m_{n+1}}{m_n}= c, \] so ist \[ \lim_{\varrho \to +0} \varrho \sum_{n=1}^\infty \frac{m_n-m_{n+1}}{m_n^{1-\varrho}} = \frac{c-1}{\log c}, \] falls \(0 < c < 1\) (für \(c = 0\) bzw. 1 ist der Limes 0 bzw. 1). Verf. beweist allgemeiner: \[ \lim_{\varrho \to +0} \varrho \sum_{n=1}^\infty \frac{m_n-m_{n+1}}{m_n\psi\left(\dfrac 1{m_n}\right)} = \frac{c-1}{\log c}, \] falls \(0 < c < 1\) (auch hier ist für \(c = 0\) bzw. 1 der Limes gleich 0 bzw. 1), wo \[ \psi(t)=l_1(t)l_2(t) \ldots l_{h-1}(t)(l_h(t))^{1+\varrho} \] und \[ I_1(t) = \log t, \quad l_k(t) = \log (l_{k-1}(t)) \quad (k=2,3,\ldots). \]