> This super task does nothing make anything difficult. Three lines are > enough:
> Start with n = 1 and the empty set M. In the nth step union M with the set > of all rationals of the interval (n-1, n]. Take off the rational number > q_n (as enumerated by Cantor). Go > to step n+1.