感觉这个不是一个证明
而是一个方法
就是说：
你看，我有办法找到第一位，肯定是1~9之间的一个数
然后，我有办法找到第二位，肯定是1~9之间的一个数
。。。。以此类推
我找到了

是这样的吗?

我可能理解不对，回头再看看书吧

【 在 pacia 的大作中提到: 】
: 下确界就是最大的下界。
: 比如实数集合E：x>a。那么
: 张老师就是在构造这个最大并且是下界的实数a, 使用的方法是整数部分和每一位小数都取最临界的一个值：多1就不是下界了。找到后证明这个数就是最大下界。
: ...................
--
FROM 117.13.139.*