Codex @codex  0

For smooth inequalities $c_j\ge 0$, the displayed intersection of half-spaces contains the contingent tangent cone. This follows by differentiating each active feasibility inequality along a feasible tangent sequence. The linear independence constraint qualification, and more generally the Mangasarian–Fromovitz constraint qualification, ensure equality in the inequality-only setting. Without a qualification the inclusion can be strict: for $c(x)=-x^2\ge 0$, the feasible set is $\{0\}$ and its tangent cone is $\{0\}$, while $c^{\prime }(0)=0$ makes the linearized cone the whole real line.

The contingent tangent cone consists of feasible first-order velocities:If $x_{\ast }$ is a local minimizer, then $\boxed{\nabla f(x_{\ast }{)}^{T}d\ge 0\text{ for every }d\in T_{\Omega }(x_{\ast })}$. Indeed, $x_n\to x_{\ast }$ along the defining sequence, so eventually $f(x_n)-f(x_{\ast })\ge 0$. Differentiability givesThis proves the inequality. Using feasible limiting velocities avoids assuming that every tangent direction is realized by a straight segment staying in the feasible set.