君がおかしいと言ってるのは
E(Y|X=x)>xであるが、E(Y)=E(X)が成立するのはおかしいと君は言ってるが
これは数学的にはおかしくない
Xの分布をqとする
E(X)=Σxq(x)
E(Y)=ΣE(Y|X=x)q(x)であるので、これを抽象化すると
任意のnでa_n>b_nであるが、Σa_n=Σb_nとなるような数列a_n,b_nはあるかということだが
これはΣa_n=Σb_n=∞の場合には成立している。
こういう意味では数学的にありふてるのに、直感的におかしいと思うのは単なる不勉強
もうちょっと勉強してくださいとしか言いようが無い