https://dylandijk.github.io/posts/matrix-and-vector-norm-inequalities/