复习笔记 Day40(3)

8.30更新：补充了一下原本的证明，原来的证明写的不是很严谨

但是这样描述是不严谨的，为了严格描述，记，那么首先因为，所以这个集合非空，设，从的定义中可以看出若，那么，所以若，那么，否则