>>62
この式が妥当であることの説明は以下の通り。

農[k=1,6}｛P(k)｝=1であることに注意する。
（実のところ、これが全てなので。そして　1/6=2/6-1/6）

P=農[k=1,6]{P(k)^2}　は自明として、示したいことはP≧1/6なのでP-1/6を考える。
P-1/6=農[k=1,6]{P(k)^2}-1/6=農[k=1,6]{P(k)^2}　-2/6+1/6
=農[k=1,6]{P(k)^2}-(2/6)農[k=1,6]P(k) +6/36
=農[k=1,6]{P(k)^2-(2/6)P(k)+(1/6)^2}=農[k=1,6]{(P(k)-(1/6))^2}　　
即ちΣ_[k=1,6]{P(k)-1/6}^2=P-1/6