[0D2]Difficulty:*. Show that from any sequence \((a_ n)_ n\) we can extract a monotonic subsequence.
[0D3]↺↻