Update formal-limit.tex