Solving the obstacle problem: a variational inequality.
