cofinal sequence