Sandwiched Rényi divergence satisfies data processing inequality | Synapse