Prove that machine precision (epsilon) computed by mathlab's eps function can be used as a bound for relative round off. In other words, prove that
Epsilon = { b^(1-t) - chopping
(1/2)*b^(1-t) - rounding
where b is the computer's floating point number system and t is the mantissa length.