diverges to infinity. sequences don't converge to infinity.
Other than that wording your proof looks correct.
For your second question the answer is yes. If you assumed that $a_n$ converged to some value you could show that contradicts $a_n$ being unbounded but there is really no need for that here. Your proof is essentially 2 lines.