Fenchel–Young inequality
= Fenchel–Young inequality
{c}
{wiki}
For a proper convex function $f$ and its <convex conjugate> $f^*$,
$$
f(x)+f^*(p)\geq p\mathbin\cdot x.
$$
Equality holds exactly when $p\in\partial f(x)$, or equivalently $x\in\partial f^*(p)$.