  The ground state of bosonic atoms in a trap has been shown experimentally to
display Bose-Einstein condensation (BEC). We prove this fact theoretically for
bosons with two-body repulsive interaction potentials in the dilute limit,
starting from the basic Schroedinger equation; the condensation is 100% into
the state that minimizes the Gross-Pitaevskii energy functional. This is the
first rigorous proof of BEC in a physically realistic, continuum model.
