Farey sequence: Difference between revisions