对确界定理中有下界的非空实数集必有下确界进行证明,

不知道是什么定理,我理解成这样：
——定理：非空实数集A＝{a|实数},所以元素a都满足a>B,
证明存在一个最大的实数的常数下界M,所有元素a>=M;而任何实数N>M,A中必有元素a1
再问： 不明白你的证明，能在详细一点吗？