Lagrange dual function
= Lagrange dual function
{c}
{title2=$d(\lambda)$}
The <Lagrange dual function> is the infimum of a <Lagrangian> over its primal variables. It is concave in the multipliers, even before convexity of the primal problem is assumed. Maximizing it over sign-compatible multipliers gives a lower bound on a minimization problem by <weak duality>; appropriate convex qualifications give <strong duality>.