Consulta "Analisis de error hacia adelante"

Consulta "Analisis de error hacia adelante"

de Nicolas Eduardo Navascues Soto -
Número de respuestas: 0

Buenas!
No logro terminar de entender de donde sale esa desigualdad triangular recuadrada en rojo, sobre todo la parte de la derecha.
Estamos sumando el error que proviene de computar FL(f(FL(x))), y el error de computar f(FL(x)) ?
Agradezco si pueden ayudarme con esta parte.

Gracias!
Saludos