Affeldt, R.; Cohen, C.; Rouhling, D. Formalization Techniques for Asymptotic Reasoning in Classical Analysis. JFR 2018, 11, 43-76.