Deutsch   English   Français   Italiano  
<v78pu9$1tbgs$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: =?UTF-8?Q?Re=3A_There_is_a_first/smallest_integer_=28in_M=C3=BCcken?=
 =?UTF-8?Q?land=29?=
Date: Wed, 17 Jul 2024 18:02:17 +0200
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <v78pu9$1tbgs$1@dont-email.me>
References: <v78aei$1qhrg$2@dont-email.me> <iez0JhnP5QUwPTJ47oubeE1Aq5M@jntp>
 <v78m28$1sk3g$1@dont-email.me> <7mXj2D8kEhAscu3HLTqTUKsaj18@jntp>
 <v78nhc$1so1t$2@dont-email.me> <VLVvhmGMkTzWACaTRo3ApDAIVzs@jntp>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 17 Jul 2024 18:02:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c1c897a453f29bb80ea39d50f9318775";
	logging-data="2010652"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18zOcD4G5RoY1Y9+vAfx7mR"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:oy2vvvEj26p1MHF7JOH/2stmmpY=
In-Reply-To: <VLVvhmGMkTzWACaTRo3ApDAIVzs@jntp>
Content-Language: de-DE
Bytes: 2005

Am 17.07.2024 um 17:27 schrieb WM:
> Le 17/07/2024 à 17:21, Moebius a écrit :
>> Am 17.07.2024 um 17:08 schrieb WM:
>>
>>> There is a point where NUF is 0 
>>
>> Yes, for all points x <= 0.
>>
>>> and then it increases.
>>
>> No, it does not "increase", it _jumps_ "at" x = 0.

MEANING:

         NUF(x) = 0 for all x e IR, x <= 0
and
         NUF(x) = aleph_0 for all x e IR, x > 0 .

> [NFU(x) = aleph_0] at a point x requires [aleph_0] unit fractions at that 
> point x.

It seems that you have forgotten your OWN definition of NUF, Mückenheim.

No, it does not "require aleph_0 unit fractions at that point x" but 
aleph_0 unit fractions THAT ARE <= x. (Holy shit!)

Hint: NFU(x) := |{u e {1/n : n e IN} : u <= x}|

<Nonsense deleted>