I need help for the question below, i simply do not know where to start.

In the proof of the quotient remainder theorem, we have "if n>=0 and 0<d<=n, then there is a largest integer q such that qd<=n". Use the well ordering principle to justify the existence of q. (Consider the set S={i element of Natural numbers: id<=n}).