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.