Thank you for providing all relevant information.

Consider (where is the set of integers). If you know that this set is nonempty, then you can apply the well-ordering principle to it. To show that it is nonempty, assume the contrary and consider the supremum of all integers.