Hah, that's great!
And for part 2, would this be a correct proof for convergence:
Assuming \left\{a_{n}\right\} is monotonic and decreasing
\forall\epsilon \exists a_{N}\in\left\{a_{n}\right\}
so that
L+\epsilon>a_{N}>L
L+\epsilon>a_{N}>a_{n}>L
L+\epsilon>a_{n}
so...