def$($f$($x$)$ if $($x $>0)|($x $<0)|($x $==)$ return x$+1$ else return $1/0$ proof by Dedactive