Machine precision $($eps $=252)$ can be computed by the following program $($at$-$

tributed to Cleve Moler$)$:

# Machine p r e c i s i o n

a$=4/3$

b$=$a$1$

c$=$b$+$b$+$b

eps$0=$abs $($ c $1)$

Run the program and prove its validity