Abstract
I construct an entropy function S(t) suitable for a system of hard spheres satisfying the (modified) nonlinear Enskog equation, and show that tS(t)>~0. The equality sign holds only when the system has reached absolute equilibrium, in which case S becomes the exact equilibrium entropy of the hard-sphere fluid.