Conditional Expectation
If X and Y are both discrete random variables, we have
$E[X|Y] = sum_{x_j} x_j p_x(x_j|y)$
We now show that
$E[X] = E[E[X|Y]]$ (Law of total expectation)
$E_Y(E_{X|Y}(X|Y)) = E_Y[sum_x xP(X=x|Y)] = sum_y [sum_x xP(X=x|Y=y)]P(Y=y)$
$= sum_y sum_x xP(X=x|Y=y)P(Y=y) = sum_x sum_y xP(X=x|Y=y)P(Y=y)$
$= sum_x x sum_y P(X=x, Y=y) = sum_x xP(X=x) = E(X)$