RE: Triangle inequality