Lipschitz inequality; Jensen difference; constant K; differentiable function