Is there an explicit formula?
Let . This is a countable set. Now let us suppose that we have a function defined by . Then which is at most countable. Since in infinite, then it must be countable. Then we can arrange the rational numbers in a sequence: .
How would you come up with a sequence, such that every element of the sequence is different from every other element, and the elements of the sequence exhaust ?