停止性と平均を同時に示す。
枚に対する操作回数の平均を とする。 に関する帰納法を用いる。 では配置 の操作回数はそれぞれ なので停止し、 である。 EnE_nEn nnn nnn n=1n=1n=1 TTT HHH 000 111 E1=12E_1=\frac12E1=21