Revising Nekhoroshev's geometry of resonances, we provide a fully
constructive and quantitative proof of Nekhoroshev's theorem for steep
Hamiltonian systems proving, in particular, that the exponential stability
exponent can be taken to be 1/(2nα1​⋯αn−2​) (αi​'s
being Nekhoroshev's steepness indices and n≥3 the number of degrees of
freedom)