A Rigorous Derivation¶of the Gross–Pitaevskii Energy Functional¶for a Two-dimensional Bose Gas