The free energy of dilute Bose gases at low temperatures

We consider a low density Bose gas interacting through a repulsive potential in the thermodynamic limit. We justify, as a rigorous lower bound, a Lee–Huang–Yang type formula for the free energy at suitably low temperatures, where the modified excitation spectrum leads to a second order correction of the same order as the Lee–Huang–Yang correction to the ground state energy.