A Metric Inequality for the Thompson and Hilbert Geometries

There are two natural metrics defined on an arbitrary convex cone: Thompson’s part metric and Hilbert’s projective metric. For both, we establish an inequality giving information about how far the metric is from being non-positively curved.