No. Let $Y,Z$ be iid Bernoulli(1/2), and let $X=Y+Z$ mod 2. The only non-injective deterministic functions $f_Y,f_Z$ are constants, rendering the RHS zero. For the LHS, we can take $f_{Y,Z}(Y,Z)$ equal to the the binary AND of $Y$ and $Z$, which is not injective, and not independent of $X$. Hence, the LHS is something positive, showing there can be strict inequality.
Tom
- 716
- 5
- 14