We consider a function $f : ] 0 , + \infty [ \rightarrow \mathbb { R }$ continuous piecewise satisfying the two following properties: (a) there exist an integer $K \geqslant 0$ and a real $C > 0$ such that $| f ( t ) | \leqslant C t ^ { K }$ on $[ 1 , + \infty [$, (b) there exist an integer $N \geqslant 0$, two reals $\lambda > 0$ and $\mu > 0$ and reals $a _ { 0 } , \ldots , a _ { N }$ such that $$f ( t ) = \sum _ { k = 0 } ^ { N } a _ { k } t ^ { ( k + \lambda - \mu ) / \mu } + o \left( t ^ { ( N + \lambda - \mu ) / \mu } \right) \quad \text { when } t \rightarrow 0 .$$ We denote $\rho _ { N } ( t ) = f ( t ) - \sum _ { k = 0 } ^ { N } a _ { k } t ^ { ( k + \lambda - \mu ) / \mu }$ the remainder of the asymptotic expansion of $f$.
We fix $\varepsilon > 0$. Show the existence of $\delta > 0$ and a constant $C ^ { \prime }$ independent of $\varepsilon$ and $\delta$ such that $$\forall x > 0 , \quad \left| \int _ { 0 } ^ { \delta } e ^ { - t / x } \rho _ { N } ( t ) d t \right| \leqslant C ^ { \prime } \varepsilon x ^ { ( N + \lambda ) / \mu }$$