Asymptotic exactness of finite temperature Thomas-Fermi theory

By using entropy inequalities with coherent states we prove that for atoms and molecules the partition function of Thomas-Fermi theory becomes exact in the limit Z → ∞, in the appropriate scaling. Furthermore the Gibbs state over a suitable algebra converges to a pure state over classical densities in phase space.