Singular value inequalities for functions of matrices | Synapse