Optimal Farey sequence for the Congruence subgroup
We prove that () has a Farey sequence such that for all . The above upper bound is optimal, and there exists a unique such that . For each , there exists a unique such that is the set of ideal vertices of a fundamental domain of whose side-pairings give a set of independent generators of .