  This is an overview of the basic tools of nonsmooth analysis which are
grounded on nonstandard models of set theory. By way of illustration we give a
criterion for an infinitesimally optimal path of a general discrete dynamic
system.
