Inequalities for the trace of matrix product | Synapse