独学无友
孤陋寡闻
三周看了20页的张筑生数分
好难啊
话说，
R的一个有下界的非空子集，在R中必有下确界
张的证明是为了把这个下确界找出来（构造出来）?
死活看不懂了
--
FROM 111.33.236.*