explain why 1=0.99999...
end with claim