Variational Inequality for the Obstacle Problem