Theorem.  [gillespie2024ray, thm. 1] [ag-000T]

Let \(f\) be Lipschitz with Lipschitz bound \(\lambda \geq \) Lip \(f\). Then the function \(f / \lambda \) is a signed distance bound of its implicit surface.