The final objective is nine minus slack one minus slack two. Since both slacks are nonnegative, every feasible point has objective at most nine. The plan one, three attains nine, so the bound is sharp. This is an optimality certificate, not just a numerical stopping message. Later, the coefficients of the slacks will help us interpret the values of additional resources.
