Nekhoroshev estimates

The Nekhoroshev estimates are an important result in the theory of Hamiltonian systems concerning the long-time stability of solutions of integrable systems under a small perturbation of the Hamiltonian. The first paper on the subject was written by Nikolay Nekhoroshev in 1971.
The theorem complements both the KAM theorem and the phenomenon of instability for nearly integrable Hamiltonian systems, sometimes called Arnold Diffusion, in the following way: The KAM Theorem tells us that "many" solutions to nearly integrable Hamiltonian systems persist under a perturbation for "all" time, while, as Vladimir Arnold first demonstrated in 1964, some solutions do not stay close to their integrable counterparts for all time. The Nekhoroshev estimates tell us that, nonetheless, "all" solutions stay close to their integrable counterparts for an "exponentially long time". Thus, they restrict how quickly solutions can become unstable.
Statement.
Let formula_1 be a nearly integrable formula_2 degree-of-freedom Hamiltonian, where formula_3 are the action-angle variables. Ignoring the technical assumptions and details in the statement, Nekhoroshev estimates assert that:
for 
where formula_6 is a complicated constant.