student93 said:
Would that be enough to then say that 1/an diverges?
I haven't actually provided a coherent argument, just a question. If you answer the question in the right way, it would be enough. That is, if you can prove that the limit above is not 0, then you may use the contrapositive of your criterion (which is logically equivalent) to imply that the associated series of terms diverges.
To refresh, your criterion stated that "If the series \sum a_n converges, then \lim_{n\rightarrow\infty} a_n = 0". The contrapositive statement is equivalent and is therefore always implied: "If \lim_{n\rightarrow\infty} a_n \neq 0, then the series \sum a_n does not converge."
So we only need to show that the limit is not 0. We do not need to know what the limit is, or even if it exists. However, if you know this limit's value, and it is not 0, you may use that information as well.
If you are uncertain when dealing with limits, you will need to go back to the definition. The statement "\lim_{n\rightarrow\infty} \frac{1}{a_n} = 0", which we actually want to be false, is defined by the criteria that "For all values of ε > 0, and for all natural numbers n, there is some number N such that, if n > N, then \left|\frac{1}{a_n} - 0\right| < \epsilon." Intuitively, it says "eventually, the distance between 1/a
n and 0 becomes less than any positive number."
We want to show that this limit is not 0, and thus we want to show that the above statement is false. One way to do this is to prove the logical negation of this statement: "There exists some value of ε > 0 such that, for all numbers N, there is some natural number n > N such that \left|\frac{1}{a_n} - 0\right| \geq \epsilon".
That is, we want to show that the distance between \frac{1}{a_n} and 0 can never be made smaller than a particular amount ε. The key to finding this particular amount is to use the fact that \lim_{n\rightarrow\infty} a_n = 0. That is, we need the epsilon-N statement that defines this limit and a tiny bit of algebra to show us exactly what \left|\frac{1}{a_n}\right| is always greater than (at least once we get to high enough values of n, which is what N is for).