We show that for any smooth CR manifold which has a peak function (in a weak sense) at some point p, formal power series at p can be approximated asymptotically by continuous CR functions. Furthermore, if the peak function satisfies a certain growth property, the asymptotic approximation is actually smooth. This in fact allows to invert, in a Borel-type theorem, the natural map taking a smooth CR function to its formal Taylor series.