On the trace bound of a matrix product | Synapse