Reactive cross section for A+B2→AB+B in the limit of high collision energy