Since $f$ is measurable, result R4816: Markov chain triple if endpoint is a transformation of the midpoint shows that $X \to Y \to f(Y)$ is a Markov chain triple, whence this result is a special case of R3503: Data processing inequality. $\square$