Worked example: sequence convergence/divergence