同时证明终止性并计算平均值。
令 表示 枚硬币时操作次数的平均值。对 归纳。 时两种配置 分别需要 次操作,所以过程终止且 。 EnE_nEn nnn nnn n=1n=1n=1 TTT HHH 000 111 E1=12E_1=\frac12E1=21