Há erros no enunciado já reportados. Do enunciado, temos que $f(x+1)-1 \leq \space f(x) \space \leq f(x+4)-4$ . Por indução, podemos provar que $f(a) = a+4$ : $x = 1$ $\implies$ $f(2)-1 \leq f(1) \leq f(5)-4$ $\implies$ $f(2) \leq 6$ e $f(5) \geq 9$. Tomando a hipótese como verdadeira, temos: $x = n+1$ $\implies$ $f(n+2)-1 \leq f(n+1) \leq f(n+5)-4$ De fato: $f(n+2) \leq n+6$ e $f(n+5) \geq n+9$. Percebamos: Para $n = 4$, em $f(n+2) \leq n+6$, temos $f(6)\leq 10$; Para $n = 1$, em $f(n+5) \geq n+9$, temos $f(6)\geq 10$; Se as duas sentenças são válidas, então necessariamente $f(a) = a+4$. Portanto, $\boxed{g(2017) = f(2017)+2-2017 = 2021-2015 = 6}$$$\text{Alternativa } \mathbb{(B)}$$