 Solution

For $0\le k\le n$, the adjacent binomial coefficients obeySince $\left(\genfrac{}{}{0ex}{}{n}{k}\right)>0$ and $k+1>0$, the sign is determined by the numerator:The printed codomain ${\mathbb{N}}_{+}$ is inconsistent with the displayed map: $g(n)=-1$, and when $n$ is odd, $g((n-1)/2)=0$. With the usual extension $\left(\genfrac{}{}{0ex}{}{n}{k}\right)=0$ for $k>n$, $g$ is a function ${\mathbb{N}}_0\to \mathbb{Z}$, and $g(k)=0$ for $k>n$; the positive range above remains unchanged. Without that extension, the natural domain is $\{0,\dots ,n\}$.^[ref]