Convergence of Levy–Lieb to Thomas–Fermi density functional