Recently, while solving a problem where a certain set of functions $f:\mathbb Z^+ \rightarrow \mathbb Z^+$ had to be found given a number of conditions, I noticed that $f(n)=\lim_{a\to+\infty} a$, where $n\in \mathbb Z^+$, was a solution.
My question is simply whether $f(n)=\lim_{a\to+\infty} a$ really can be classified as a function. If not, why not, and if yes, does the condition $f:\mathbb Z^+ \rightarrow \mathbb Z^+$ still hold?