$|a_{n+1} - a_n|_p \to 0$ as $n \to \infty$

$a_n$ must be bounded in the Euclidean metric.

The sequence must be monotonic.

The sequence must consist of integers.