Nonsmooth analysis Existence theories mathematics