That maps N onto N bu is not a one to one function. I can create a function that is not one to one on N such as x^2 -2x + 2 but it turns out to not be onto. Can someone try to find a function like this? Also, could you please show that it is indeed onto? I kind of need a good example of an onto proof.