Soit \((a_n)\) une série positive convergente, \(A = \sum_{k=0}^\infty a_k\), \(R_n = \sum_{k=n}^\infty a_k\) et \(p\in {]0,1[}\).
Montrer qu’il existe \(C_p\in \mathbb{R}\) tel que \(\sum_{n=0}^\infty a_n/R_n^p\leq C_p A^{1-p}\).
Trouver la meilleure constante \(C_p\).
TAF : \(\exists x_n\in {[R_{n+1},R_n]} \text{ tq } R_n^{1-p} - R_{n+1}^{1-p} = (1-p) \dfrac {R_n-R_{n+1}}{x_n^p} \geq (1-p) \dfrac {a_n}{R_n^p}\). Donc, \(\sum_{n=0}^{\infty } \dfrac {a_n}{R_n^p}\leq \dfrac {A^{1-p}}{1-p}\).
C’est \(\dfrac 1{1-p}\) : Pour \(a_n = k^n\), \(A^{p-1}\sum_{n=0}^{\infty } \dfrac {a_n}{R_n^p} = \dfrac {1-k}{1-k^{1-p}} \to _{k\to 1^-} \dfrac 1{1-p}\).