Statistical ensemble (mathematical physics)#Correcting overcounting in phase space