Boltzmann's formula