We consider the function $F : ] 0 , + \infty [ \rightarrow \mathbb { R }$ defined by $F ( x ) = \int _ { 1 } ^ { + \infty } e ^ { - t / x } t ^ { - 1 } d t$. For $N \in \mathbb { N } ^ { * }$ and $x > 0$, we set $$\begin{aligned}
r _ { N } ( x ) & = ( - 1 ) ^ { N } N ! x ^ { N + 1 } e ^ { - 1 / x } \\
S _ { N } ( x ) & = \sum _ { k = 1 } ^ { N } ( - 1 ) ^ { k - 1 } ( k - 1 ) ! x ^ { k } e ^ { - 1 / x } \\
R _ { N } ( x ) & = ( - 1 ) ^ { N } N ! x ^ { N } \int _ { 1 } ^ { + \infty } e ^ { - t / x } t ^ { - ( N + 1 ) } d t
\end{aligned}$$ Show that, for all $N \geqslant 1$ and all $x > 0 , F ( x ) = S _ { N } ( x ) + R _ { N } ( x )$.
We consider the function $F : ] 0 , + \infty [ \rightarrow \mathbb { R }$ defined by $F ( x ) = \int _ { 1 } ^ { + \infty } e ^ { - t / x } t ^ { - 1 } d t$.
For $N \in \mathbb { N } ^ { * }$ and $x > 0$, we set
$$\begin{aligned}
r _ { N } ( x ) & = ( - 1 ) ^ { N } N ! x ^ { N + 1 } e ^ { - 1 / x } \\
S _ { N } ( x ) & = \sum _ { k = 1 } ^ { N } ( - 1 ) ^ { k - 1 } ( k - 1 ) ! x ^ { k } e ^ { - 1 / x } \\
R _ { N } ( x ) & = ( - 1 ) ^ { N } N ! x ^ { N } \int _ { 1 } ^ { + \infty } e ^ { - t / x } t ^ { - ( N + 1 ) } d t
\end{aligned}$$
Show that, for all $N \geqslant 1$ and all $x > 0 , F ( x ) = S _ { N } ( x ) + R _ { N } ( x )$.