Now we fix an ultrafilter of $\mathbb{N}$ that contains the cofinite filter, consider a hyperreal field ${}^{*}\mathbb{R}$. Let $\varepsilon$ be a positive infinitesimal. We doubt that a power series field $\mathbb{R}((X))$ can be realized as a subquotient of ${}^{*}\mathbb{R}$. 

In <a href="https://ivanfesenko.org/wp-content/uploads/2021/10/aoh.pdf">Measure, integration and elements of harmonic analysis
on generalized loop spaces
</a>, Fesenko explained this in Remark 7.1. However, the meaning of some words appears unclear. For example, what does the phrase "the fraction field of approachable polynomials $\mathbb{R}[X]^{\rm ap}$'' mean? Acording to the above paper, there exists a surjective homomorphism $\mathrm{Frac}(\mathbb{R}[X]^{\rm ap})\longrightarrow \mathbb{R}((X));\varepsilon \longmapsto X$.

If you know the answer or have any idea, please tell us.