On the leading correction of the Thomas-Fermi model: Lower bound. Heinz Siedentop, Rudi Weikard (1989) Inventiones mathematicae