¹We defined Lipschitz constants as positive rational numbers.