>>482 つづき

補足２
>>444
>∀n∈N に対し、co-tail(n)は存在する。　よってco-tail(∞)は存在する。
>∀n∈N に対し、ケーキの残り1/2^nは存在する。　よってケーキは食べ尽くせない。

この二つを混同するなかれ
後者の1/2^nについては、計量（ふつうの距離）を入れることで、lim n→∞ |1/2^n| ＝0 に収束する

だが、前者のco-tail(n)は、そうではない。
先の>>482 の説明の通り

以上です