On a triangle inequality used in Lyapunov function construction

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.