https://9lib.co/document/z3dlm1o9-the-precise-definition-of-a-limit.html