function f : R-n -> R boolean OR{+infinity} admits a Whitney stratification ( so in particular if f is a semialgebraic function), then the norm of the gradient of f at x epsilon dom f relative to the stratum containing x bounds from below all norms of Clarke subgradients of f at ...