https://9dok.net/document/zlg5m5gl-eigenvalue-inequalities-for-products-of-matrix-exponentials.html