On a matrix inequality (Q1087961)

S\({}_ n\) is the set of all real symmetric matrices and \(\Pi_ n\subset S_ n\) the set of symmetric projections. For \(n\geq 1\) the real functions f with f(PAP)\(\leq Pf(A)P\) for all \(A\in S_ n\) and \(P\in \Pi_ n\) are precisely the matrix-convex functions on \(S_ n\) [meaning: \(f(1/2(B+C))\leq 1/2(f(B)+f(C))\) for all \(B,C\in S_ n]\) with f(0)\(\leq 0\).