Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $A _ { n } = \sum _ { k = 0 } ^ { n } a _ { k }$, $\widetilde { a } _ { n } = \frac { A _ { n } } { n + 1 }$, and $\mu > 0$ is an upper bound of $\left( \widetilde { a } _ { n } \right)$. Let $\lambda$ be a strictly positive real number. a) Show that there exists an integer $N _ { 0 } > 0$ such that for all $N \geqslant N _ { 0 }$, $$f \left( \mathrm { e } ^ { - \lambda / N } \right) \geqslant \frac { 1 } { 2 \left( 1 - \mathrm { e } ^ { - \lambda / N } \right) } \geqslant \frac { N } { 2 \lambda } .$$ b) Show that for all $N \geqslant N _ { 0 }$ $$\tilde { a } _ { N - 1 } \geqslant \frac { 1 } { 2 \lambda } - \mu \mathrm { e } ^ { - \lambda } \left( 1 + \frac { 1 } { N } + \mathrm { e } ^ { - \lambda / N } \frac { 1 } { N \left( 1 - \mathrm { e } ^ { - \lambda / N } \right) } \right)$$ c) Determine as a function of $\lambda$ the limit, when $N$ tends to infinity, of the right-hand side in the previous inequality. d) Show that there exists a real $\lambda > 0$ such that this limit is strictly positive.
Let $\left( a _ { n } \right) _ { n \geqslant 0 }$ be a real sequence with $\sum a_n x^n$ having radius of convergence 1, with sum $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ satisfying $f(x) \sim \frac{1}{1-x}$ as $x \to 1^-$, and with $a_n \geqslant 0$ for all $n \in \mathbb{N}$. We denote $A _ { n } = \sum _ { k = 0 } ^ { n } a _ { k }$, $\widetilde { a } _ { n } = \frac { A _ { n } } { n + 1 }$, and $\mu > 0$ is an upper bound of $\left( \widetilde { a } _ { n } \right)$.
Let $\lambda$ be a strictly positive real number.\\
a) Show that there exists an integer $N _ { 0 } > 0$ such that for all $N \geqslant N _ { 0 }$,
$$f \left( \mathrm { e } ^ { - \lambda / N } \right) \geqslant \frac { 1 } { 2 \left( 1 - \mathrm { e } ^ { - \lambda / N } \right) } \geqslant \frac { N } { 2 \lambda } .$$
b) Show that for all $N \geqslant N _ { 0 }$
$$\tilde { a } _ { N - 1 } \geqslant \frac { 1 } { 2 \lambda } - \mu \mathrm { e } ^ { - \lambda } \left( 1 + \frac { 1 } { N } + \mathrm { e } ^ { - \lambda / N } \frac { 1 } { N \left( 1 - \mathrm { e } ^ { - \lambda / N } \right) } \right)$$
c) Determine as a function of $\lambda$ the limit, when $N$ tends to infinity, of the right-hand side in the previous inequality.\\
d) Show that there exists a real $\lambda > 0$ such that this limit is strictly positive.