Virgil
Posts:
4,674
Registered:
1/6/11
|
|
Re: Cantor's first proof in DETAILS
Posted:
Dec 4, 2012 4:22 PM
|
|
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.
--
|
|
