Energy distribution function of translationally hot O(3P) atoms in the atmosphere of Earth