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 in

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.