分散の定義ってE[(X-E(X))^2]ですけど、
内側のEっていらなくありませんか?
E[(X-X)^2]でいいと思うのですが・・・