@nickbros123
Let x be a non-negative real number such that, given any real number r, we have that x is either at 0 or between 0 and x.
Suppose x is greater than 0. Clearly, there is a real number r_1 between 0 and x. But this contradicts our definition that, if x is not at 0, then for any real number, x is between 0 and that real number. Therefore, x cannot be greater than 0, and since it was either greater than 0 or at 0, x is at 0. Since both x is r_1 were arbitrary non-negative real numbers, this means that this holds if x is any real number defined as above.