实分析 I · 第 2 章 · 实数系统与完备性
上确界猜测器
把候选点放到数轴上，观察它与集合的关系：它是否压住了所有元素？是否已经压到不能再低？集合本身有没有取到这个点？
候选点数轴
拖动橙色候选点
上界看“全体”
若集合里还有元素大于候选点，它马上失去上界资格。
上确界看“最小”
上确界可以不在集合中，但不能再往左挪而仍保持上界。
最大值看“取到”
最大值必须属于集合；开端点和极限点常常只给上确界，不给最大值。