No label defined (Q4939864)

Let \(L_{0}(x)=1+x\), \(L_{m}=1+\ln L_{m-1}(x)\), \(m\geq 1\); \[ P_{-1}=1, \quad P_{m}=\prod_{k=0}^{m}L_{k}(x),\quad m\geq 0; \] \[ V_{m}(x,y,z)=\ln {P_{m-2}(x)(L_{m-1}(x))^{z} \over P_{m-2}(y)(L_{m-2}(y))^{z}},\quad m\geq 1. \] The main result is the following theorem on the convergence of a positive series \[ \sum_{n=1}^{\infty} a_{n}.\tag{1} \] Theorem. Let \(g:N\cup \{0\} \to N\cup \{0\}\) be an arbitrary function such that \(\exists p\in N\) \(\forall n\geq p\) \((g(n)\leq n-1)\) and let \(f\) be an arbitrary function concave increasing on \([0;+\infty)\) such that \(\int_{1}^{\infty}f({1 \over x})dx\) converges. If \(\exists n_{0}\in N\) \(\exists m\in N\) \(\exists z\in (1; +\infty)\) \(\exists \varepsilon \in R\) \(\forall n\geq n_{0}\) \[ A_{n}:=\left({a_{n} \over a_{g(n)}}\right)^{{1 \over n-g(n)}} \leq 1-{V_{m}(n,g(n),z) \over n-g(n)}+ \varepsilon f\left({V_{m}(n,g(n),z) \over n-g(n)}\right), \] then series (1) is convergent. If \[ A_{n} \geq 1-{V_{m}(n,g(n),1) \over n-g(n)}+ \varepsilon f\left({V_{m}(n,g(n),1) \over n-g(n)}\right), \] then series (1) is divergent. As an application of this theorem, the author obtains the well-known tests of convergence for positive series. For the entire collection see [Zbl 0905.00023].