A trace inequality for matrix product | Synapse