The classic LGI gives a lower bound on the gradient of a differentiable function based on its value above its minimum. Many functions, e.g., real analytic functions and subanalytic functions, satisfy this property, at least locally [1]}. Here, we require a global version of this inequality as a condition to control the gradient flow trajectory. Let us define this notion below.
