Date: Dec 4, 2012 4:22 PM
Author: Virgil
Subject: Re: Cantor's first proof in DETAILS
In article

<42cabcca-089d-456f-837a-c1d789bda70f@jj5g2000pbc.googlegroups.com>,

"Ross A. Finlayson" <ross.finlayson@gmail.com> wrote:

> And, m > n implies EF(m) > EF(n), because here m > n. It is true,

> that. The functions there modeling it are all constant monotone

> increasing, and they all go to one.

IN your origin definitions, you had EF_n(m) = 1/n, for 1 <= m <= n,

so that SUM_(x=1..n) EF_n(x) = 1, for all n and then defined you EF()

also the limit function of the EF_n() as n -> oo.

That did not work then and does not work now.

--