Jensen's inequality for partial traces in von Neumann algebras | Synapse