min-separable Lyapunov-like function