Note that E[X|Y] is a function of y. E[E[X|Y]]=yE[X|Y]pY(y)=yxxpX|YpY=yxxpX,Y(x,y)=xxypX,Y(x,y)=xxpX(x)=E[X]