least-upper-bound theorem

Мат. теорема о точной верхней границе