lipschitz
