Tight bounds for the trace of a matrix product | Synapse