f:\mathbf{N}\rightarrow\mathbf{N}