Definition:Sequence of Convergents