哈斯图的上确界