Before revision:  Therefore the optimal value function can be obtained as the point-wise infimum of auxiliary value functions indexed by Lagrange multipliers.
After revision:  Therefore the optimal value function can be obtained as the pointwise infimum of auxiliary value functions indexed by Lagrange multipliers.