The result follows from operator monotonicity of inverse over symmetric positive definite matrices, i.e., $A \succeq B \Rightarrow A^{-1} \preceq B^{-1}$, thatwhich is, as a special case of the Löwner-Heinz theorem. See for example, Theorem 2.6 here.