Phase transition of a Bose gas in a harmonic potential