Generalized gradient of Clarke

Clarke:

Def. The generalized gradient of f at x, denote \partial f(x) is the convex hull of the set of limits of the form \lim\nabla f(x + h_i) where h_i \to 0 (i \to \infty).
It follow that \partial f is a nonempty convex compact set.

(cont.)