求证无限集必含可数子集(有限集是否必有上下确界无限集是否必无上下确界)(1)

,