hard square entropy constant