decimal of many places

Decimals are Cominuity Propostition of Real Numbers;

证明“实数的十进小数表示”与“单调有界数列必有极限”等价。