To minimize a differentiable function, we usually know it’s gradient. Consider the function with be a closed convex set. Let be gradient of , we have:
Prop: Suppose there exists an such that .
Then is a solution of the variational inequality for .
. Minimum at implies . Therefore , so , we have since .