4.3 Law of iterated expectation

Say you have two random variables \(X\) and \(Y\). The law of iterated expectation says that:

\(E(E(Y|X)) = E(Y)\).

The inside expectation is conditional on X values, whereas the outside expectation exhausts the \(X\) domain.