no_half_succ

The successor on $\mathbb{N}$ has no functional square root: no $f$ satisfies $f(f(n))=n+1$.