R. Seiringer, “Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula,” presented at the PDE: Partial Differential Equations and Spectral Theory, Clausthal, Germany, 2001, vol. 126, pp. 307–314.