Let $$(a_n)_{n=m}^{\infty}$$ be a sequence of real numbers. Then we define $$\sup(a_n)_{n=m}^{\infty}$$ to be the supremum of [...], and $$\inf(a_n)_{n=m}^{\infty}$$ to be the infimum of the same [...].