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