The ε–δ limit machine

Continuity and Differentiation·Analysis & Linear Algebrafree

Drag ε and watch the widest legal δ respond — the quantifier order, made physical.