Verify that we have $S(0) = \operatorname{Ent}_{\varphi}(f)$ and $\lim_{t \rightarrow +\infty} S(t) = 0$.