You say lim y->inf (length x, iteration y).