The correlation energy of an electron gas at high density