>>264
食べ終わらなかったとしよう。
或る正の実数aが存在して、任意の正整数nに対して Σ_{k=1,…,n}(1/2)^k＝(1/2)×(1−(1/2)^n)/(1−1/2)＝1−(1/2)^n＜1−a なので、
任意の正整数nに対して a＜(1/2)^n となる。第n項が (1/2)^n の等比数列は下に有界で0に収束する。
だから、或る正の実数aが存在して任意の正整数nに対して Σ_{k=1,…,n}(1/2)^k＜1−a とはならず矛盾する。
それ故、食べ終わる。