A trace bound for a general square matrix product | Synapse