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

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

youdao

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

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

youdao