A matrix inequality