0.999... is then the unique real number that lies in all of the intervals 1, 1, 1, and 1 for every finite string of 9s.
Чтобы это увидеть, отнимем 0,999… от 9,999…, каждая цифра после запятой исчезает, так как 9 — 9 = 0 для каждого разряда.