>>137
仮定が満たされないときは保証される根拠がなくなるわけだからそうなるね

>>140
>というか逆から考えてそもそもレーティングの計算式自体がf(x)f(y)f(z)≠1なんだけどなあ

aのbに対する期待勝率をpと置くと、p=1/(1+10^-(x/400))だから、
f(x)=p/(1-p)=1/(1/p-1)=1/((1+10^-(x/400))-1)=1/10^-(x/400))=10^(x/400)だから
f(x)f(y)f(z)=10^(x/400)*10^(y/400)*10^(z/400)=10^((x+y+z)/400)=10^0=1(x+y+z=0より)