On the Bose-Einstein condensation of an ideal gas

A mathematically precise treatment is given of the well-known Bose-Einstein condensation of an ideal gas in the grand canonical ensemble at fixed density. The method works equally well for any of the standard boundary conditions and it is shown that the finite volume activity converges and that in three dimensions condensation occurs for Dirichlet, Neumann, periodic, and repulsive walls.