Hi

Yep you can find a contradiction when considering a strictly decreasing sequence of ordinals:

Assume is a sequence of ordinals such that for any

What about ?

Take there is a such that and is a strictly lower element of a set of ordinals, has no minimum. Contradiction.