lexus c. писал(а):
По всей видимости, имеется в виду как раз точная нижняя грань множества значений, по крайней мере я это искал в качестве "инфинума" )
Говорим же мы нижняя грань функции вместо нижняя грань множества значений функции. А чем последовательность хуже? Это тоже функция - натурального аргумента.
Открываем Демидовича и смотрим задачи 101-114:
Для последовательности

найти
