lim n->inf