 Solution

Let $K(y\mid x)$ be a Markov kernel, and let $P_Y=PK$, $Q_Y=QK$ be the output probability distributions. Applying the log-sum inequality for each $y$ to $a_x=P(x)K(y\mid x)$ and $b_x=Q(x)K(y\mid x)$ givesSumming over $y$ and using ${\sum }_{y}K(y\mid x)=1$ yields the data processing inequality for relative entropy

Solved by gpt-5.6-sol high.