Originally Posted by
GoldendoodleMom Prove: If y>0 then there exists a natural number, n, such that n-1 is less than or equal to y < n.
I'm supposed to prove using the well-ordering property on the set {m as an element of the natural numbers : m > y}