Stern-Brocot sequence: Difference between revisions