A key inequality for functions of matrices