R. Affeldt, C. Cohen, and D. Rouhling, “Formalization Techniques for Asymptotic Reasoning in Classical Analysis”, JFR, vol. 11, no. 1, pp. 43–76, Jan. 2018.