Since x∈[0,1] and y∈[0,1], we have:
y≤1⟹z=xy≤x Taking the expectation (mean) on both sides of this inequality:
E[z]≤E[x]⟹zˉ≤xˉ Hence, statement (D) is always TRUE.
Regarding the other options:
zˉ=E[xy]=E[x]E[y]+Cov(x,y)=xˉyˉ+Cov(x,y).
Depending on whether the covariance Cov(x,y) is zero, positive, or negative, zˉ can be equal to, greater than, or less than xˉyˉ. Thus, none of (A), (B), or (C) is guaranteed to hold for arbitrary random variables.