farey function

Farey sequences