  We provide a first-order necessary and sufficient condition for optimality of
lower semicontinuous functions on Banach spaces using the concept of
subdifferential. From the sufficient condition we derive that any
subdifferential operator is monotone absorbing, hence maximal monotone when the
function is convex.
