Collisionless phase-space occupation bound
= Collisionless phase-space occupation bound
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.