Summability "au plus petit terme"

There is a curious phenomenon in the theory of Gevrey asymptotic expansions. In general the asymptotic formal power series is divergent, but there is some partial sum which approaches the value of the function very well. In this note we prove that there exists a truncation of the series which comes near the function in an exponentially flat way.