初等的証明だから、ま、いいんじゃね。
それより改めて見ると「０．９９９９…」の定義がまったく無いね。