The Golden-Thompson Trace Inequality is