Boltzmann formula