 Linear programming duality

Every linear maximization program has a dual minimization program whose feasible objective values bound the primal values.