Definimos formula_30, en otra palabras formula_31 es la diferencia entre "k" (que es el conjunto de puntos que están distribuidos en el intervalo unidad) y "n" (que es el número de términos de la secuencia de Farey).