Distance Lower Bound · Farey Sequences | Problems