In this talk I will explain the first rigorous derivation of the LDA in DFT, for the Levy-Lieb functional in the limit where the density is very flat on large regions. Joint work with Elliott Lieb and Robert Seiringer.