“…In combination with the matching upper bound that Dyson had proven in 1957 [19], this established its leading order asymptotics. By now, the techniques of Lieb and Yngvason have been significantly extended to prove related results for the ground state energy of the two-dimensional Bose gas [61], the free energy of two-and three-dimensional Bose gases [16,68,76,84], as well as the ground state energy [24,55] and pressure [75] of the Fermi gas. Recently, also the next to leading order correction to the ground state energy of the dilute Bose gas, that is, the Lee-Huang-Yang formula, could be established [31,83].…”