Date: Jan 5, 2013 10:37 PM
Author: fom
Subject: Re: The Distinguishability argument of the Reals.

On 1/5/2013 6:35 PM, Ross A. Finlayson wrote:
> On Jan 4, 10:20 pm, Virgil <vir...@ligriv.com> wrote:
>> In article
>> <7850ae29-08d9-49ef-8c7b-e8979e037...@m4g2000pbd.googlegroups.com>,
>> "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:
>>

>>> Consider the function that is the limit of functions f(n,d) = n/d, n =
>>> 0, ..., d; n, d E N.

>>
>> You mean the zero function?
>>
>> For every n, the limit of f(n,d) as d -> oo is 0, so your limit function
>> would have to be the zero function: f(n,oo) = 0 for all n.
>> --

>
>
> No, none of those is the zero function, and each d->oo has it so that
> d/d = 1.


That is true.

The problem is that as d -> oo the value at any
given fixed n -> 0.

2/3, 2/4, 2/5, 2/6, 2/7, 2/8, 2/9, 2/10, ...

So, the pointwise limit of the function is zero.