Sequences that are eventually constant - exercises

Work in progress. Please return here later.