H. Miranda and R. C. Thompson, “A trace inequality with a subtracted term”, CUBO, no. 8, pp. 91–97, Dec. 1992.