We consider the sequence
-

with exactly
digits after the point. We claim that this sequence converges to
. For this, we have to determine
, and before we can do this, we have to recall the meaning of a decimal expansion. We have
-

and therefore

If now a positive
is given, then for
sufficiently large, this last term is
.