where formula_8 is shorthand for the degrees of freedom of the individual components of our statistical system (atoms, spins and so forth), one can consider sharpening the upper bound by minimizing the right hand side of the inequality.