「Sを空でない整数の集合とする。Sが下に有界ならばSは最小元をもつことを
整列性（任意の空でない自然数の集合は最小元を持つ)を用いて証明せよ」
をヒントだけでもよいので教えてください。