Subgradient optimality condition (source code)

= Subgradient optimality condition

A proper convex function $f$ is minimized at $x$ exactly when $0\in\partial f(x)$.