On the relaxation of the energy distribution function of light particles in heavy gases