6The formal problem is to maximize α − λ · ω², subject to the constraint α/ω ≤ IR. Since we know that the constraint will be binding at the optimal solution, we can use it to eliminate a from the objective.