Generator für rationale Zahlen
f(0)=1, f(1) = 1/2, f(1/2)=2, etc.
Die Iteration f(f(..f(f(0))..) erzeugt systematisch die positiven rationalen Zahlen.
Damit zeigt sich auch, dass Q abzählbar ist.
siehe dazu https://en.wikipedia.org/wiki/Calkin%E2%80%93Wilf_tree
und https://www.geogebra.org/m/j5qCzQnA