Starting from Liouville's theorem (drho/dt = 0 where d/dt is a
total derivative), show that an ensemble of systems with piecewise
constant phase space density rho is in equilibrium