Fine-grained occupation is conserved along trajectories of a collisionless distribution. Coarse graining cannot increase its maximum. For fermions the primordial occupation is bounded, so a measured halo density and velocity scale restrict the particle mass required to produce that halo.
