Look, the Reals form an ordered field, which most importantly has the property that given x and y from R, x is either less than y, equal to y, or greater than y, where x < y is taken to mean that y - x > 0. Obviously no one will argue that 0.999... > 1, so let's assume 0.999... < 1. Then 1 - 0.999... > 0 But what is 1 - 0.999...? Well, the greatest lower bound of the set {0.1, 0.01, 0.001,...} of course, which is clearly 0. That is, 1 - 0.999.. is SMALLER than any positive real number, and thus 1 - 0.999... = 0. Thus we conclude that 0.999... = 1, and we are done.