I believe you are going in the wrong direction. First, there is no reason why m/n <= n should be the case. More importantly, the problem seems to be about proving that the division operation is well-defined. Therefore, in the proof you still can't use division.

I suggest taking several pairs of small m and n and write the set A explicitly for those m and n. Then form a hypothesis about which element is always in A.