A 2n²-log₂ (n) -1 lower bound for the border rank of matrix multiplication | Synapse