A sequence (an)n≥0 is called bounded below if there exists a real number I such that:
∃I∈R:∀n∈N:an≥I
Any such number I called an lower bound of that sequence. If the sequence is not bounded below, infan=−∞.
The greatest upper bound is called infimum the of that sequence.