On a triangle inequality used in Lyapunov function construction
J. George, Christoph Martin, William Seneca Sutton · IEEE Transactions on Automatic Control · 1972
The method for constructing Lyapunov functions using the Okamura function is shown to be missing a crucial step. The proof of this step, which uses the classical "smoothing of the corners" concept, is given.