Fuente TeX:

|x^* - x| > |g(x^*) - g(x)| = |x^* - g(x)|