Golden–Thompson inequality — trace inequality between traces of exponential of symmetric matrices