A four-mean theorem and its application to pseudospectra
Let . We show that, if and are -tuples of strictly positive numbers whose arithmetic, geometric and harmonic means agree, then This is used to show that, if and are matrices with super-identical pseudospectra, then, for every polynomial , we have unless . This improves a previously known inequality to the point of being sharp, at least for .