On the exponential metric increasing property

A short and simple proof is given for the inequality that shows that positive definite matrices constitute a Riemannian manifold of negative curvature. The idea of the proof leads to generalisations to non-Riemannian metrics, and to connections with some well-known inequalities of mathematical physics