Let r be a normal semifinite trace on a von Neumann algebra, and let f be a continuous convex function on the interval [0, oo) with f (0) = 0. For a positive element a of the algebra and a positive contraction a on the algebra, the following inequality is obtained: r(f (c((a))) Zf((Ari,r,i)), where f is a convex function on the real line, A is a selfadjoint operator, and {rqi} is an orthonormal set (see [11], for example). Slightly more general, if {Pi} is a pairwise orthogonal family of projections and we set a(A) = >nPiAPi for a selfadjoint operator A, then tr a (f (A)) > tr f (a (A)) (see [2, 6, and 9]). Going further in this direction Brown and Kosaki [3] have recently proved that r(f (v*av)) < r(v* f (a)v), where r is a faithful normal semifinite trace on a von Neumann algebra, v is a contraction, and a is a positive element of the algebra. (In fact, a may be unbounded and affiliated with the algebra.) In the present paper we obtain a similar inequality for an arbitrary positive contraction a on the algebra and show that (*) r(f (a (a))) < r(a(f (a))). Here f is supposed to be a continuous convex function with f(O) = 0. (Note that (*) holds without r if f is operator convex; cf. Theorem IV.1 in [1].) The inequality (*) supports the experience that inequalities involving operators are more simply treatable provided both sides are inside of a trace (see [3 and 8] for further evidences). The idea of our proof is to approximate the operators a and a (a) by diagonal ones by means of their spectral resolution and to apply the classical Jensen's inequality in Received by the editors November 19, 1984 and, in revised form, June 24, 1985 and December 17, 1985. 1980 Mathematics Subject Cai Secondary 26A51, 47B15.