Formal Limit Definition: A Manim Animation