アダマール行列
Equality in this bound is attained for a real matrix "M" if and only if "M" is a Hadamard matrix.