Large energy behavior of the velocity distribution for the hard-sphere gas