Weak duality (source code)

= Weak duality

Every feasible dual objective value bounds every feasible primal objective value.