For unary functions $f,g\colon X\to Y$, where $X$ is any set and $(Y,≤)$ is a poset, when you rephrase $\forall\,x{\in}X\colon f(x)≤g(x)$ in prose, do you write
- "$f$ is bounded above by $g$" or
- "$f$ is bounded from above by $g$" or
- "$f$ is majorized by $g$"?
Why?
(Remark: if we equip $X{\to}Y$ with the pointwise partial order, then $g$ is an upper bound for $f$ in this order, but this is not an answer to the question above.)
(Too long for a comment)
In the book of Analysis I of Amann and Escher we can read in page 196:
what seem close to what we are searching for, so probably this terminology can be used over functions of any kind, not only series. But, in this case, the term is eventual, in the sense that it is not stated for all $n\in\Bbb N$, just for all $n\ge N$, for some $N\in\Bbb N$.
And in Analysis I of Tao on page 317 we can read:
Then it seems we can use this definition of Tao, what is explicit about the topic of this question. However some definitions and terminology of Tao are not very common out of his books.
Moreover, we have an article of wikipedia about majorization, where it seems that the use of this terminology, in some context, is the same that what is discussed in this question.
By the other hand reading the article of wikipedia about big-O notation in this table we can read the concept of "bounded asymptotically". It seems that we can say that "$f$ is bounded above by $g$" with low risk to be misunderstood.