Is the limit of $f(n) = n-n$ zero as $n\rightarrow \infty$?

If $f(n) = n-n$, then $f(n) = 0$ for all $n$. The limit you gave is true, i.e. $$\lim\limits_{n\to \infty} f(n) = 0$$ is correct.

Furthermore, we have that $n\cdot f(n) = n\cdot 0 = 0$ for all $n$, so the limit $$\lim\limits_{n\to\infty}n\cdot f(n) = 0$$ is also correct.


The red flag probably stems from the well known "indeterminate form" $\infty -\infty$. This is short hand notation for the fact that knowing $$\lim\limits_{n\to \infty} g(n) = \infty\quad\text{ and }\quad \lim\limits_{n\to\infty} h(n) = \infty $$ is not enough by itself to determine $$\lim\limits_{n\to\infty}(g(n)-h(n)).$$ Similarly, $\infty\cdot 0$ is also an indeterminate form, i.e. knowing $$\lim\limits_{n\to \infty} g(n) = \infty\quad\text{ and }\quad \lim\limits_{n\to\infty} h(n) = 0$$ is not enough to determine $$\lim\limits_{n\to\infty} g(n)\cdot h(n).$$


Yes this is correct. If you define $f(n)=n-n$ it is sufficient to notice that $f(n) \equiv 0$


When in doubt you can always go back to the definition of a limit. If $\lim_{n\to\infty} f(n)$ is going to have a value, $L$, it means that for any positive "deviation" $\epsilon$, no matter how small, there is a range $[N,\infty)$ such that, throughout that entire range, $f(n)$ never gets further away from $L$ than $\epsilon$.

In this case, $f(n) = 0$ for all $n$. So if we pick $L = 0$, then no matter what $\epsilon$ you pick, $f(n)$ is always that close to $L$ because it's exactly equal to $L$ everywhere. This reasoning also shows you that, for any function of a real number which always takes the same value (a constant function), its limit at any point or at $\pm\infty$ is equal to that value.

This is, of course, the "nontechnical" way to phrase it, but the idea is the same if you do a proper proof.