It is just the sequential form of the existence of least upper bounds.

• 这正好是上确界存在性的序列形式。