Q(W(a)a)=Σ|(W(e)aW(e)a)2n|p^2n=Σ|(W(e)aW(e))2n-1|p^2n=Σ|W[c]2n|p^2n=Σ|W(e)2n|p^2n/4（n≧1）
Σ|W(e)2n|p^2n（n≧1）=4Q(W(a)a)
Q(W(aa))=Σ|(W(e)aW(e)aW(e))2n|p^2n=Σ|W[cc]2(n+1)|p^2n（n≧1)
W(e)¥W0=(W[aa]+…+W[dd])+(W[ac]+…+W[db])
|W(e)2(n+1)|=12|W[cc]2(n+1)|+4|W[ac]2(n+1)|=12|W[cc]2(n+1)|+4|W(e)2n|
Σ|W(e)2(n+1)|p^2(n+1)=12Σ|W[cc]2(n+1)|p^2(n+1)+4Σ|W(e)2n|p^2(n+1)
4Q(W(a)a)-|W(e)2|p^2=12p^2Q(W(aa))+4p^2×4Q(W(a)a)
(1-p^2)Q(W(a)a)=3p^2Q(W(aa))+p^2
Q(W(a)a)/Q(W(aa))=(3+1/Q(W(aa)))p^2/(1-p^2)
p→1-
で常に
Q(W(a)a)/Q(W(aa))<1
であることから
lim(3+1/Q(W(aa)))=0
limQ(W(aa))=-1/3
うーん
まだどこか間違えてるな