Rate constant of the reaction O + 2O2→ O3+ O2