Prove: Based on best possible relative error bounds, the floating-point addition fl(l(x +y)+2) is more accurate than f(x + f(y+ z), if and only if lx +y| y + z . As applications, formulate addition rules in the cases: al) 0 0, y 0,z