A gradient inequality at infinity for tame functions.
Let f be a C function defined over R and definable in a given o-minimal structure M expanding the real field. We prove here a gradient-like inequality at infinity in a neighborhood of an asymptotic critical value c. When f is C we use this inequality to discuss the trivialization by the gradient flow of f in a neighborhood of a regular asymptotic critical level.