 Fenchel–Young inequality

For a proper convex function $f$ and its convex conjugate $f^{\ast }$,Equality holds exactly when $p\in \partial f(x)$, or equivalently $x\in \partial f^{\ast }(p)$.