Successor Function

A function $f:\mathbb{N}\to \mathbb{N}$ that returns $f(n)=n+1$