Matrix inequality and some tests.