Variational inequalities