Y, si ⁄ y ⁄ son vecinos en una sucesión de Farey, entonces el primer término que aparece entre ellos cuando el orden de la sucesión de Farey se incrementa es