证明上确界函数连续