A theorem of Erdos states:
"There exists an absolute constant c such that, if n>ck, and if a1/b1, a2/b2, ... are the Farey fractions of order n, then ax/bx and ax+kbx+k are similarly ordered."
Can someone provide a definition of "similarly ordered" as used here?
Thanks for any insight.
Cheers, Scott