Another proof of BEC in the GP-limit.

We present a fresh look at the methods introduced by Boccato, Brennecke, Cenatiempo, and Schlein [Commun. Math. Phys. 359(3), 975–1026 (2018); Acta Math. 222(2), 219–335 (2019); Commun. Math. Phys. 376, 1311 (2020)] concerning the trapped Bose gas and give a conceptually very simple and concise proof of Bose–Einstein condensation in the Gross–Pitaevskii limit for small interaction potentials. [ABSTRACT FROM AUTHOR]