sufficiently smooth objective $f$, **feasible set** $\Omega$ Second-order conditions: - Positive semi-definiteness is necessary but not sufficient; $x \mapsto x^{3}$ - Positive definiteness is sufficient but not necessary: $x \mapsto x^{4}$