max-separable Lyapunov function