Konkave Einhüllende

Das Infimum aller Konkaver Überschätzer heißt konkave Einhüllende von $f$:

${\mathrm{cave}}_{\Omega }[f](x):=\inf \{\omega (x):\omega \in \mathcal{O}(f,\Omega )\}$