a_n has no convergent subsequences => lima_n = infinity

Printable View