Limit_of_a_sequence loading ...