  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.
