A.1 ProofofTheorem1 Proof log Ex g(x)[f(x) ] Ex g(x)[logf(x) ]=log