Golden-Thompson inequality