チャウね。
3×0.333…-lim[n→∞]納i=1,n]9/10^i =r
このrが0で有る事を証明しなければいけないんだろ。
普通（普通ってなんだ？）に証明できれば、超準解析でも証明できるはず。