證明實數空間滿足阿基米德原理

原理:貌似是連續性的另外一種描述。我們描述實數的時候，一種思路是直接說實數和直線上的點一一對應，這樣我們一次性說清了連續這件事，戴德金分割的方法就是這種思路，數軸上隨便切一刀，一定恰好切到一個實數。

另一種思路是把連續分成完備和“構成一條直線”這兩件事，完備用柯西收斂準則（列緊性）來描述，但是完備不代表就是實數了：R2這樣的平面也是完備的，還需要有一條公理來描述實數這種“對應到數軸”這樣的一維特性，這才構成完整的實數連續性