Boltzmann entropy