The part that seems problematic is "each real number" the reals exist across bounds, I'm not sure there can be an "each".

I think his iterator is generating infinitesimals of rational and not continuous nature.