2. f(x) = x + sqrt(2) if there exists an integer k>=0 such that x - k * sqrt(2) is rational; f(x) = x otherwise.
This function maps all real numbers to irrational numbers, 1-to-1.