  We prove the conjectured first order expansion of the Levy-Lieb functional in
the semiclassical limit, arising from Density Functional Theory (DFT). This is
accomplished by interpreting the problem as the singular perturbation of an
Optimal Transport problem via a Dirichlet penalization.
