Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: FromTheRafters Newsgroups: sci.math Subject: Re: How many different unit fractions are lessorequal than all unit fractions? (infinitary) Date: Mon, 28 Oct 2024 16:51:18 -0400 Organization: Peripheral Visions Lines: 32 Message-ID: References: <062a0fa5-9a15-4649-8095-22c877af5ebf@att.net> <276fc9df-619b-4a10-b414-a04a74aa7378@att.net> <88e6a631-417a-4dd0-9443-a57116dcbd28@att.net> <7a1e34df-ffee-4d30-ae8c-2af5bcb1d932@att.net> <6a90a2e2-a4fa-4a8d-83e9-2e451fa8dd51@att.net> Reply-To: erratic.howard@gmail.com MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 28 Oct 2024 21:51:21 +0100 (CET) Injection-Info: dont-email.me; posting-host="c02dc0ac18140c169f23ce4fbf1f6f03"; logging-data="1240362"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ro/FozF87u1aDlM/AflynL7W5S9dEk/M=" Cancel-Lock: sha1:oRRz1IZSKiO+NiURrDejJC3e9AE= X-ICQ: 1701145376 X-Newsreader: MesNews/1.08.06.00-gb Bytes: 2937 WM explained : > On 28.10.2024 15:07, FromTheRafters wrote: >> WM was thinking very hard : > >>> The function NUF(x) = Number of Unit Fractions between 0 and x starts with >>> 0 at 0. >> >> Followed by a discontinuity. > > No. ∀n ∈ ℕ: 1/n - 1/(n+1) > 0 holds everywhere. Not for n equal to zero. >>> After NUF(x') = 1 it cannot change to NUF(x'') =  2 without pausing for an >>> interval consisting of uncountably many real points. >> >> Your "Axiom of because I say so" is overworked. > > It is mathematics:>> The reason is this: ∀n ∈ ℕ: 1/n - 1/(n+1) > 0. >> >> Non sequitur. This is just the second part of your stepwise function. > > It holds everywhere if mathematics holds everywhere. > >> It doesn't have to happen step by step as you envision it. > > As mathematics dictates it. > > You have confessed: In order to maintain actual infinity without dark > numbers, you have to violate mathematics. Bull! Just another of your non sequiturs.