Affeldt, Reynald, Cyril Cohen, and Damien Rouhling. 2018. “Formalization Techniques for Asymptotic Reasoning in Classical Analysis”. Journal of Formalized Reasoning 11 (1):43-76. https://doi.org/10.6092/issn.1972-5787/8124.