Proving a sequence converges using the formal definition