Hello scorpionThe successor relation on contains all ordered pairs of the form . And we can form a sequence of such ordered pairs, starting at any , and finishing at any . For example, starting at and finishing at :

So the sequence is an example of a sequence where , the successor relation. So .

Do you want to see if you can take it from here?

Grandad