Proof of Bose-Einstein condensation for dilute trapped gases
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.