"Sea formula_22 una función Lipschitz.