Énoncé:
Considérons la fraction où et sont des entiers positifs. Si et , alors c'est une fraction propre et irréductible.
Si on liste l'ensemble des fractions propres irréductibles pour , en ordre de taille ascendant, on obtient:
2/5, .
On peut voir que est la fraction à l'immédiate gauche de .
En listant l'ensemble ordonné des fractions propres irréductibles pour en ordre de taille ascendant, trouve le numérateur de la fraction à la gauche immédiate de .
Lien du problème originel