ah so we are constructing a convergent sequence using p_k, each of which is part of a smaler and smaller k-cycle as they approach p