Real numbers/Convergent sequence/Average sequence/Exercise