Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.math Subject: Re: How many different unit fractions are lessorequal than all unit fractions? (infinitary) Date: Sat, 2 Nov 2024 22:37:38 +0100 Organization: A noiseless patient Spider Lines: 28 Message-ID: References: <6a90a2e2-a4fa-4a8d-83e9-2e451fa8dd51@att.net> <0e5fb47d-60f7-42bb-beec-4a9661c807da@tha.de> <244b3e8e460c67e32d8b4d57670e4f881c1ac716@i2pn2.org> <5218d7eda7d1b315aa52044986a171b9172cb856@i2pn2.org> <35349130b2ee846cfa7c4fd07576c47be58bae3a@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 02 Nov 2024 22:37:39 +0100 (CET) Injection-Info: dont-email.me; posting-host="9448792f9519fb0299ce67b94ab312fe"; logging-data="4168151"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19WCHmQJWIgVGu+mXWo0C7C1oGJ352lALs=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:BHQRopwnfFJVAY3ikV5V8/IDQhk= Content-Language: en-US In-Reply-To: <35349130b2ee846cfa7c4fd07576c47be58bae3a@i2pn2.org> Bytes: 3053 On 02.11.2024 21:30, Richard Damon wrote: > On 11/2/24 1:56 PM, WM wrote: >> On 02.11.2024 17:02, Richard Damon wrote: >>> On 11/2/24 6:23 AM, WM wrote: >> >>>> If NUF(x) has grown to ℵ₀ at x₀, then ℵ₀ unit fractions must be >>>> between 0 and x₀. Hence at least ℵ₀ points with ℵ₀ intervals of >>>> uncountably many points must be between 0 and x₀. That cannot happen >>>> at x₀ = 0. >>> >>> Right, NUF(x)is 0 at x - 0, and Aleph_0 at any x > 0, since as you >>> said, for any positive finite x, there are Aleph_0 unit fractions >>> below it. >> >> No, neither did I say so nor is it correct. Only for x > x₀ are ℵ₀ >> smaller unit fractions existing. > So, for what finite number x > 0 is there less than that? Those numbers are dark. > > There isn't one, as we CAN PROVE that for all x > 0, there exist and > infinite number of unit fractions less that x For every visible number x larger, much larger than x₀ you can prove that. Regards, WM