This is an implementation of a mathematical function in C++
which sends all the positive rational numbers into all rational
numbers strictly between 0 and 1 (in a bijective way).

This function is called the Cantor function, and it is related to
Cantor’s diagonalization method.