Trace inequalities for completely monotone functions and Bernstein functions

We prove a matrix trace inequality for completely monotone functions and for Bernstein functions. As special cases we obtain non-trivial trace inequalities for the power function x↦xq, which for certain values of q complement McCarthy’s trace inequality and for others strengthen it.