当理論と実際の比較処理を作成しました。 前回のものはミスがあり、訂正した結果、より精度があがりました。 実際との差は1/2していないため一度に消せる個数の違いです。 有限回の証明なので、回数が多くでることには支障がありません。