Let $A \in S _ { n } ^ { + + } ( \mathbf { R } )$ and let $f : t \mapsto \ln \left( \operatorname { det } \left( I _ { n } + t A \right) \right)$. Show that
$$\forall t \in \mathbf { R } _ { + } , \quad \ln \left( \operatorname { det } \left( I _ { n } + t A \right) \right) \leq \operatorname { Tr } ( A ) t$$