Show that the mapping `f : \mathbb{N} \rarr \mathbb{N}` defined by `f(x)=2^x` is injective, but not surjective mapping.