A Lemma on regular variation of a transient renewal function