left differentiable function