Assume that y > rx , for all r
Then the set S = {y-rx| r in Z+} consists only of positive numbers. So, S must possesses a least element, say y-mx.
But y-(m+1)x also belongs in S, since m+1 is in Z+ if m is.
y-(m+1)x = y-mx - x < y - mx, since x>0, contrary to our choice of the minimal element - a contradiction !
Hence, the assumption was false.