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:  As a consequence the optimal value function can be obtained as the point-wise infimum of auxiliary value functions indexed by Lagrange multipliers.