In another form I presented a proof (post #145)that the lim of 0.9999....=1 using epsilon delta arguments. I was asked to explain each step so I am moving it here for the latex support.

I start with what DanLanglois presents presents in post #139

I do not prove this but it follow from basic arithmetic (by the way numbers carry in addition)....