Так как

и
, то
, а значит, число

является нижней границей для множества
.
Далее покажем, что эта граница точная.
Возьмем произвольное
. По определению инфимума

и
, откуда следует, что
. Следовательно,
, то есть число

является точной нижней границей множества
.