Cone of tangents of $S=\{(x,y):y\ge-x^3\}$ Find the cone of tangents for the set $S$ at the point $\overline x=(0\ 0)^t$.
$$S=\{(x,y):y\ge-x^3\}$$
The cone of tangents of $S$ at $\overline x$ is the set of directions $d$ such that $d=\lim_{k\to\infty}\lambda_k(x_k-\overline x),\ \lambda_k>0,x_k\in S$ for all $k$ and $x_k\to\overline x$.
In this particular case, $d=\lim_{k\to\infty}\lambda_k(x,y)$
what should I do next?
I've searched online but I only find 'solved' exercises that just write the answer and does not says how the cone was found with details.
I greatly appreciate any assistance you may provide.  

There are several first-order cones that appear in context of KKT conditions and constraint qualifications (like feasible directions, attainable directions etc), but all those cones, including the tangent cone, are between two standard cones for the linearized problem that are easy to calculate (here $I$ is the set of indices for active constraints):
\begin{align}
G_0&=\{d\colon \nabla g_i(\bar x)^Td<0,\,i\in I\},\\
G'&=\{d\colon \nabla g_i(\bar x)^Td\le 0,\,i\in I\}.
\end{align}
In our case, $g(x,y)=-x^3-y\le 0$ is active at the origin, so
\begin{align}
G_0&=\{d\colon (0\ \ {-}1)\,d<0\}=\{d\colon d_2>0\},\\
G'&=\{d\colon (0\ \ {-}1)\,d\le 0\}=\{d\colon d_2\ge 0\}.
\end{align}
Since
$$
\text{closure}\,G_0\subset T\subset G'
$$
and $\text{closure}\,G_0=G'$ (the closed upper half-plane), the tangent cone $T$ is also the closed upper half-plane.
P.S. The condition $\text{closure}\,G_0=G'$ is known as Cottle's constraint qualification (which is equivalent to the Mangasarian-Fromovitz constraint qualification in case of no equality constraint).
