ある正の実数zが存在して
任意の自然数nに対して
0<z・10^n<1が成り立つ
はz・10^nが有界でないことに矛盾するから、成り立たないと思うのですが、厳密に示すとどうなりますか?