В подобных задачах обычно требуется доказательство "по определению", то есть нельзя пользоваться теоремами, доказанными позже по курсу. В этом и состоит вся сложность.
Последовательность называется сходящейся, если у неё существует (конечный) предел. Число

называется пределом последовательности, если для любого эпсилон ... и так далее.
Ваша задача показать, что данная последовательность не имеет предела, то есть для любого числа

существует такое эпсилон и так далее по логическому отрицанию.
Несмотря на очевидность примеров, такое строгое доказательство требует большого внимания и аккуратности.
Возможно, что в Вашем случае можно пользоваться утверждениями, равносильными сходимости, например, относящимися к пределам подпоследовательностей. Тогда проще. Надо также выделять случаи бесконечного предела.